サクサク読めて、アプリ限定の機能も多数!
xef のブックマーク 2019/01/10 23:31
Cedille Cast #4: Deriving Equi-recursive types with Tarski's Fixpoint Theorem[Cedille][TheoremProving]2019/01/10 23:31
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.youtube.com2019/01/10
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
xef のブックマーク 2019/01/10 23:31
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Cedille Cast #4: Deriving Equi-recursive types with Tarski's Fixpoint Theorem
www.youtube.com2019/01/10
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /