About joomy

researcher at Bloomberg 🅱️. somehow a computer doctor. 🐅

 posts about functional programming, metaprogramming, proof assistants, and sometimes about linguistics, or Turkey.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet