136
reputation
4

Mega Man

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

2
answers
0
questions
~47
people reached

Top tags (3)

Score 2
Posts 2
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest