101
reputation
2

Mega Man

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

  • Member for 2 years, 6 months
  • 0 profile views
  • Last seen Nov 11 '19 at 16:00