サクサク読めて、アプリ限定の機能も多数!
kirakking のブックマーク 2014/01/22 11:05
Haskell+GADTで定理証明 その1: 型レベル自然数の等価性 - keigoiの日記[haskell][gadt][proof][verification]2014/01/22 11:05
このブックマークにはスターがありません。 最初のスターをつけてみよう!
keigoi.hatenadiary.org2009/07/20
実は、私のfull-sessionsというセッション型のライブラリは中で unsafeCoerce#を使っているので型安全でない。使ってくれる人にとってそれは心もとないだろうし、そもそもunsafeなんとかは、いけがみさんによれば...
7 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
kirakking のブックマーク 2014/01/22 11:05
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Haskell+GADTで定理証明 その1: 型レベル自然数の等価性 - keigoiの日記
keigoi.hatenadiary.org2009/07/20
実は、私のfull-sessionsというセッション型のライブラリは中で unsafeCoerce#を使っているので型安全でない。使ってくれる人にとってそれは心もとないだろうし、そもそもunsafeなんとかは、いけがみさんによれば...
7 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /