Hacker News new | ask | show | jobs
by maxiepoo 1690 days ago
A mathematician that has only used a type theory like Coq or Agda and never Haskell.