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