サクサク読めて、アプリ限定の機能も多数！
igrep のブックマーク 2018/08/13 08:03
このブックマークにはスターがありません。 最初のスターをつけてみよう！
blog.poisson.chat2018/08/07
In this post, we will implement open type families with a single actual type family.1 Surprisingly, this endeavor leads to increased expressivity: type families become first-class. Check out my ver...
2 人がブックマーク・0 件のコメント
＼ コメントが サクサク読める アプリです ／
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Lysxia - Haskell with only one type family
In this post, we will implement open type families with a single actual type family.1 Surprisingly, this endeavor leads to increased expressivity: type families become first-class. Check out my ver...
2 人がブックマーク・0 件のコメント
＼ コメントが サクサク読める アプリです ／