Fupio is the easiest way to share online Learn more »

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

4 hours ago

LobstersDependent if expressions without dependent types2 comments