Is there really no Idris language package/library called Elba, or did I just get lost in the photo tabs of the search results?
-
-
Replying to @SusanPotter
Googling "Idris elab" to find out about the elaborator is similarly confusing.
1 reply 0 retweets 1 like -
Replying to @antiselfdual @SusanPotter
Part of me suspects the whole affair is an elaborate practical joke played on us by
@edwinbrady.1 reply 0 retweets 1 like -
Replying to @antiselfdual @edwinbrady
That seems unlikely since
@edwinbrady doesn't joke around... /me looks at the date of 1.0.0 release blog post again. ;)1 reply 0 retweets 3 likes
Replying to @SusanPotter @antiselfdual
I'm always completely serious. That's why I'll be hiring help for my Whitespace consultancy soon.
0 replies
1 retweet
7 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.