The whole point of the 3 week effort to fix unification was to make this toy work: https://github.com/edwinb/Eff/blob/master/FileTest.idr … And now it does. Beer o'clock then!
@RanjitJhala I'll be doing some polishing then writing it up properly in the next few weeks. I'll let you know!
-
-
@edwinbrady great! Looking forward to 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.