2 ms·
I don’t think Lisp is popular in European academia? Europe is very much hard core type theory. Just look at Coq, Idris, Haskell etc.
by mbrodersen 5y ago
I don’t think Lisp is popular in European academia? Europe is very much hard core type theory. Just look at Coq, Idris, Haskell etc.