101
reputation
1

yurrriq

I sometimes do freelance web, iOS and Android development as Electric Wizardry, LLC.

Lately I've been loving Idris and proving all the theorems.

I'm often involved in the LFE community and helped spearhead the Exercism track.