I guess I'm streaming myself messing around in idris:
https://www.twitch.tv/averyglitch/
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
