I haven't really done an #introductions toot yet, but hello, I'm purefunctor.
I'm a functional programmer based on the Philippines. At the time of writing, I'm still in uni as a cs freshman.
I also like rhythm games and I'm fairly decent in a few of them. As a side-effect, I don't really like mainstream music all that much.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.