Oooo this is where @idrislang gets its name from
https://twitter.com/CuriousUkTelly/status/1228614668874403840 …
-
-
Yaffle. Or Pogle.
-
I'm using Yaffle for the internals of Idris 2. It seemed the right choice.
- 2 more replies
New conversation -
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.