1,399
reputation
4
5

Mega Man

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

3
answers
0
questions
0
people reached
  • Member for 4 years, 3 months
  • 0 profile views
  • Last seen Oct 27 '19 at 14:49

Top tags (2)

Score 1
Posts 3
Score 1
Posts 3

Top posts (3)

Badges (9)

Gold

Silver

4

Rarest

Bronze

5

Rarest