I'm heading back to Northumberland for Christmas, so obviously I'm passing the train journey by looking at code and trying to remember how the Idris totality checker works. I hope my past self has learned the value of type declarations by now :).
-
-
Replying to @edwinbrady
I am also in Northumberland writing Idrises. Cool club. *high five*.
1 reply 0 retweets 5 likes
Replying to @locallycompact
It's what all the cool kids do at Christmas!
11:52 AM - 23 Dec 2018
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.