hisso.li
  • Login
Show Navigation

  • Public

    • Groups

Conversation

Notices

  1. ksmakoto@social.mikutter.hachune.net's status on Saturday, 19-Dec-2020 23:28:22 JST ksmakoto ksmakoto

    ん、型システムだけだと議論できないから、必要な、式とか関数とかの構文と意味の定義を示すために、トイ言語をついでに示す感じですかね TaPL

    In conversation Saturday, 19-Dec-2020 23:28:22 JST from social.mikutter.hachune.net permalink
    • Help
    • About
    • FAQ
    • Privacy
    • Source
    • Version
    • Contact

    hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.

    Switch to desktop site layout.