Some Idris programming...pic.twitter.com/GY3W26Jiha
Replying to @ClintCombs
It's a Teensy. We started hacking on an Arduino and managed to traverse a list with as many as five elements. Much more work needed I think!
9:39 AM - 9 Aug 2018
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.