Sometimes when I say types are first class in Idris, someone (quite reasonably) points out you can't pattern match on them. Well, here we go...https://gist.github.com/edwinb/25cd0449aab932bdf49456d426960fed …
-
Show this thread
-
Replying to @edwinbrady
*eye twitch* Srsly though, this is pretty cool! :Dpic.twitter.com/sLSh257IJl
1 reply 0 retweets 0 likes
Replying to @lambdatotoro
I stopped caring about this sort of thing in my quick hacks... Nice to have the smiley at the bottom left though!
9:53 AM - 25 Jan 2019
0 replies
0 retweets
4 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.