@edwinbrady hi edwin! great to meet you at MGS and thanks for an excellent course. I forgot to ask one more thing, how easy/hard would it be to add purescript-style row types to Idris?
Hi! I think it might already work via some type level encoding similar to what we do in the effects and ST libraries. Haven't tried though.
-
-
Thanks for the reply! That's interesting, I will check it out.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.