トップページ⇒tech

6コメント0KB

依存型・型計算 [無断転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています

0001デフォルトの名無しさん

2016/03/09(水) 09:50:27.39ID:m6u1yQ86

こういうの使える言語がそろそろあってもいいんじゃない？

0002デフォルトの名無しさん

2016/03/09(水) 11:31:01.19ID:SHd/sUMJ

つ　Idris

終了。

0003デフォルトの名無しさん

2016/03/14(月) 17:30:04.27ID:2pvjXVi/

Cayeneは？

0004デフォルトの名無しさん

2016/03/15(火) 10:06:47.95ID:FiiOdEo0

coq agda ats

0005デフォルトの名無しさん

2016/03/17(木) 08:49:02.24ID:g9ToUzSX

そうかも

0006デフォルトの名無しさん

2016/03/22(火) 10:16:54.33ID:JXUY/jQG

いやだ

■ このスレッドは過去ログ倉庫に格納されています