849
reputation
1
8
15

Mega Man

I am very interested in languages like Haskell, Agda or idris, and type theory in general

26
answers
8
questions
~130k
people reached
  • Member for 3 years, 4 months
  • 116 profile views
  • Last seen Sep 13 at 14:42

Top tags (26)

Score 9
Posts 25
Posts % 74
Score 4
Posts 7
Score 3
Posts 3
Score 2
Posts 4
Score 2
Posts 3
Score 1
Posts 5

Top posts (34) All Questions Answers | Votes Newest

View all questions and answers

Badges (24)

Gold

1

Rarest

Silver

8

Rarest

Bronze

15

Rarest