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 …
-
-
Replying to @edwinbrady
Cool. Does it do different sizes of infinities? Some types really are bigger than others...
1 reply 0 retweets 0 likes -
Replying to @jjcarett2
At this stage I'm sticking to 0, 1 and many. But the possibilities are really interesting...
2 replies 0 retweets 1 like -
Replying to @edwinbrady @jjcarett2
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).
2 replies 3 retweets 7 likes -
@heades and I are working on some blog posts about this to advertise what we are doing here (also joint with@buggymcbugfix).3 replies 0 retweets 5 likes
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.