141
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
~377
people reached

Top tags (4)

Score 3
Posts 1
Posts % 50
Score 3
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (5)

Gold

Silver

Bronze

5

Rarest