281
reputation
1
4

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.

7
answers
0
questions
~18k
people reached

Top tags (10)

Score 5
Posts 2
Posts % 29
Score 4
Posts 1
Score 4
Posts 1
Score 2
Posts 2
Score 2
Posts 1
Score 2
Posts 1

Top posts (7)

Badges (5)

Gold

Silver

1

Rarest

Bronze

4

Rarest