About joomy
researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅 posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.
Lists
{username} has no public lists
Timeline
{username} has no activity yet