Lambda the Ultimate

Programming. Programming languages: mostly Functional and Logic related.

My favorite languages right now are Idris, Ur/Web and Haskell, which I'm trying to use in more projects. There are a lot of more obscure languages that I find intersting, like Twelf, and a number of others.

I program in more well known languages at work, of course. :)