131
reputation
4

Mega Man

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

1
answer
0
questions
~3k
people reached
  • Member for 4 years, 5 months
  • 2 profile views
  • Last seen Apr 6 at 16:14

Top tags (3)

Score 3
Posts 1
Score 3
Posts 1
Score 3
Posts 1

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest