864
reputation
3
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 3 years, 5 months
  • 0 profile views
  • Last seen Aug 5 at 9:11

Top tags (2)

Score 1
Posts 3
Score 1
Posts 3

Top posts (3) All Questions Answers | Votes Newest

Badges (8)

Gold

Silver

3

Rarest

Bronze

5

Rarest