We’re rewarding the question askers & reputations are being recalculated! Read more.
1,381
reputation
1
8
15

Mega Man

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

25
answers
8
questions
~132k
people reached
  • Member for 3 years, 6 months
  • 119 profile views
  • Last seen yesterday

Top tags (26)

Score 10
Posts 24
Posts % 73
Score 5
Posts 7
Score 3
Posts 3
Score 2
Posts 3
Score 1
Posts 5
Score 1
Posts 4

Top posts (33) All Questions Answers | Votes Newest

View all questions and answers

Badges (24)

Gold

1

Rarest

Silver

8

Rarest

Bronze

15

Rarest