Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
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
~399
people reached
  • Member for 3 years, 4 months
  • 8 profile views
  • Last seen Nov 13 at 19:45

Top tags (1)

Score 1
Posts 2
Posts % 100

Top posts (2) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

Bronze

6

Rarest