That's the one. Incidentally, combining QTT and type driven development is lots of fun. Very handy to have an environment tell you how many of a thing you have available...https://twitter.com/stephenjudkins/status/1039964280525750272 …
-
-
Hope you're writing that up. I'm quite interested. [I had a student instrument Maple to do static analysis based on intervals of usage counts, and yeah, it was surprisingly useful. But the language is too weird to get solid results]
-
I hope to have something interesting to say reasonably soon :)
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.