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
~2k
people reached
  • Member for 3 years, 7 months
  • 2 profile views
  • Last seen Nov 10 at 19:02

Top tags (3)

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

Top posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest