I’ve been hacking on this side project for 7 months so I suppose it’s about time I wrote some tests… https://github.com/edwinb/Blodwen/
-
-
One tricky thing is that it is nice to be able to have examples at the term level, but then you are forced to run them all the time during type checking. Would be kind of cool if the typechecker interface looked more like a test-runner. I dunno

-
Or you could jit it all for the zooom
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.
