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 3 years, 11 months
  • 2 profile views
  • Last seen Mar 26 at 22:30

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