@edwinbrady come on. Proving false in Idris necessarily helps debugging your totality checker :-)
I'm considering not letting @npouillard near anything I implement if he's going to keep breaking things ;)
-
-
-
.
@npouillard Yes,indeed. I fixed one of the bugs you found. Thanks! :)
End of conversation
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.