Fupio はオンラインで共有する最も簡単な方法です詳しく見る »

Lobsters: Newest Comments

Oh wow, this is very good. Looks like RebindableSyntax also gives you a bunch of other stuff that could be used in similar ways. I made extensive use of a similar feature in Idris 1 but it wasn't kept around for Idris 2. Maybe this will get me to reinstall GHC!
https://lobste.rs/c/zugf6w

5時間前

LobstersDependent if expressions without dependent types2 comments

ログインまたは新規登録してコメントしましょう。