111
reputation
3

Mega Man

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

1
answer
0
questions
~8k
people reached
  • Member for 4 years, 1 month
  • 2 profile views
  • Last seen Mar 26 at 22:23

Top tags (2)

Score 1
Posts 1
Score 1
Posts 1

Top posts (1)

Badges (3)

Gold

Silver

Bronze

3

Rarest