サクサク読めて、アプリ限定の機能も多数!
igrep のブックマーク 2017/12/30 17:00
Type-Directed Code Generation :: Reasonably Polymorphic[haskell][型レベルプログラミン]2017/12/30 17:00
このブックマークにはスターがありません。 最初のスターをつけてみよう!
reasonablypolymorphic.com2017/12/26
Update 2019-05-30: Formation finally got around to opensourcing the work done here. https://github.com/formationai/proto-lens-grpc aka “Type-Level Icing Sugar” Context🔗 At work recently I’ve been ...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
igrep のブックマーク 2017/12/30 17:00
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Type-Directed Code Generation :: Reasonably Polymorphic
reasonablypolymorphic.com2017/12/26
Update 2019-05-30: Formation finally got around to opensourcing the work done here. https://github.com/formationai/proto-lens-grpc aka “Type-Level Icing Sugar” Context🔗 At work recently I’ve been ...
3 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /