131
reputation
5

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.

2
answers
0
questions
~515
people reached

Top tags (4)

Score 2
Posts 1
Posts % 50
Score 2
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (2)

Badges (5)

Gold

Silver

Bronze

5

Rarest