サクサク読めて、アプリ限定の機能も多数!
igrep のブックマーク 2018/11/08 15:07
GitHub - mstksg/decidable: Combinators for manipulating dependently-typed predicates.[haskell][型レベルプログラミン]2018/11/08 15:07
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/mstksg2018/11/08
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
igrep のブックマーク 2018/11/08 15:07
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - mstksg/decidable: Combinators for manipulating dependently-typed predicates.
github.com/mstksg2018/11/08
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /