@edwinbrady Is there any write up anywhere, no matter in what state, of your approach to uniqueness typing in Idris?
-
-
@edwinbrady This is really nice work! I had been toying with very similar ideas to add uniqueness to ghc, but you basically beat me 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.