3 ms·A mathematician that has only used a type theory like Coq or Agda and never Haskell.by maxiepoo 5y agoA mathematician that has only used a type theory like Coq or Agda and never Haskell.