Fupio çevrimiçi paylaşmanın en kolay yolu Daha fazla bilgi »

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 saat önce

LobstersDependent if expressions without dependent types2 comments

Giriş yap veya kayıt olun yorum yapmak için.