I've finally got through a backlog of marking, so I get to do fun stuff with with linear dependent types again soon, yay! This evening though, I've decided it'll be more fun to be patronised by my local public transport operator. Splendid.https://twitter.com/ScotRail/status/1190013735160692741 …
-
-
Replying to @edwinbrady
Haven't had the chance to dig into linear dependent types. What do you like about them?
1 reply 0 retweets 0 likes
Replying to @joeyginorio
Tracking resource usage is so much nicer, and especially more composable, when it doesn't need to be done in an indexed monad or something similar
4:27 AM - 1 Nov 2019
0 replies
0 retweets
1 like
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.