Seems #idris aims for EDSLs usable by programmers without experience in dependent typing. How does it gonna tackle http://inagist.com/all/396688775595978752/ … ?
@BartAdv Error message reflection is a possibility. @d_christiansen has done some work on it. But one step at a time!
-
-
@edwinbrady@BartAdv that's exactly the point of error reflection! Just need to find time to finish it....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.