135
reputation
6

Mega Man

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

1
answer
1
question
~405
people reached
  • Member for 3 years, 7 months
  • 8 profile views
  • Last seen Jan 6 at 16:58

Top tags (1)

Score 1
Posts 2
Posts % 100

Top posts (2) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

Bronze

6

Rarest