I was making a quick example of a dependent type that wasn't a Vect, and accidentally implemented extensible records. http://lpaste.net/104020
-
-
@edwinbrady Well the whole thing has blown my tiny mind. Nice work! -
@seanparsons In a good way, I hope :). - 2 more replies
New conversation -
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.