About me

I'm JoomyA nickname for Cumhur, [d͡ʒumhuɾ] in Turkish IPA,
"joom hoor" in English approximation.
I prefer Joomy unless you speak Turkish.
Korkut, a computer science master's student at Wesleyan University. I'm an aspiring academic who is interested in programming language theory and linguistics.

Currently I'm working on Idris and extending its editor interaction features through metaprogramming.

In my free time, I play the accordion and translate poetry.

Recent blog posts

Writing a Template Haskell library for GHC.Proof
Posted on September 16, 2017, by joomy, in: haskell, tutorial
GHC.Proof is a great hack and I wanted to add another hack on top of it. It is simple enough that it could serve as a Template Haskell tutorial for others.

Switching to Kinesis Advantage
Posted on August 10, 2017, by joomy, in: keyboard, mac, vim
My new keyboard and related workflow changes

Starting a Haskell student forum at Wesleyan
Posted on June 1, 2015, by joomy, in: haskell, wesleyan, teaching
I will be giving lectures on Functional Programming in Haskell next semester.

Feed | All posts...

Browse: hakyll (1), haskell (4), keyboard (1), language (1), latex (1), logic (1), mac (1), markdown (1), mathjax (1), meta (1), poetry (1), programming (1), prolog (1), teaching (1), translation (1), turkish (1), tutorial (1), vim (1), wesleyan (1)