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 …
-
-
Indeed. Even some really weird numbers, like 3, would be neat to have show up, once you do expand 'many'.
-
The good news is that the implementation should be able to cope with this sort of extension after it has learned to count that high. But even just having 0 and Many has turned out to be remarkably valuable in my experiments so far...
- 2 more replies
New conversation -
-
-
People interested in such things might also like to check out the Granule language https://github.com/granule-project/granule … which is a linear language with indexed and graded modal types (quantities like in QTT, but not fully dependency... yet).
-
@heades and I are working on some blog posts about this to advertise what we are doing here (also joint with@buggymcbugfix). - 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.