1,399
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
~136k
people reached
  • Member for 3 years, 11 months
  • 120 profile views
  • Last seen 27 mins ago

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)

View all questions and answers

Badges (24)

Gold

1

Rarest

Silver

8

Rarest

Bronze

15

Rarest