Some Idris programming...pic.twitter.com/GY3W26Jiha
-
-
Replying to @edwinbrady
Neat! Is this a specialized backend? Is there a repo for this?
1 reply 0 retweets 0 likes
Replying to @SandMouth
There will be more on this later, I hope :)
1:16 PM - 9 Aug 2018
0 replies
0 retweets
2 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.