Oooo this is where @idrislang gets its name from
https://twitter.com/CuriousUkTelly/status/1228614668874403840 …
-
0:42 -
Replying to @buggymcbugfix @idrislang
Maybe I should name my next system after Bananaman
1 reply 1 retweet 5 likes -
Yaffle. Or Pogle.
1 reply 0 retweets 1 like -
I'm using Yaffle for the internals of Idris 2. It seemed the right choice.
1 reply 0 retweets 2 likes -
I presume you weren't thinking of anyone in particular? ;-)
1 reply 0 retweets 0 likes
Aimed at the tool, not any person :)
2:50 AM - 3 May 2020
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.