136
reputation
4

Some Axiom

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

2
answers
0
questions
~51
people reached
  • Member for 1 year, 1 month
  • 1 profile view
  • Last seen Jan 31 at 15:48

Top tags (3)

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

Top posts (2)

Badges (4)

Gold

Silver

Bronze

4

Rarest