hisso.li
  • Login
Show Navigation

  • Public

    • Groups

Conversation

Notices

  1. Q (masterq@pawoo.net)'s status on Monday, 22-Jul-2019 18:05:06 JST Q Q

    結局プログラムの等価性、つまりASTとASTが等価であることって立証できないんでしたっけ。。。

    In conversation Monday, 22-Jul-2019 18:05:06 JST from pawoo.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.