It’s clearly about time I did the dependently typed, total, verified version. If only I can find the funding.
-
-
-
if it was self hosting you'd have trouble finding the implementation.
- 6 more replies
New conversation -
-
-
@jonoabroad Got 500 out of http://compsoc.dur.ac.uk/whitespace/ ! Haven't you taught the benefits of totality to that website's authors?
-
LOL Wikipedia had a better link than your home page, leading to http://compsoc.dur.ac.uk/whitespace/tutorial.html …
- 1 more reply
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.