気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
CakeML
16 users
cakeml.org
cakeml.org
cakeml.org
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
About CakeML is a functional programming language and an ecosystem of proofs and tools built arou... About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
president.jp
togetter.com
note.com/merumeru99
togetter.com
togetter.com
qiita.com
zenn.dev/p0n
note.com/hirokivv
qiita.com/prickle
zenn.dev/kakakakakku
blog-dry.com
blog.livedoor.jp/lkrejg
2019/11/11 リンク