Fupio es la forma más fácil de compartir en línea Más información »

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

hace 5 horas

LobstersDependent if expressions without dependent types2 comments

Iniciar sesión o regístrate para comentar.