3 ms·
Dependent type theory has been very useful for automated theorem proving and PLT static analysis (Coq, Agda, Idris are languages that POC'd this).
by gnulinux 6y ago
Dependent type theory has been very useful for automated theorem proving and PLT static analysis (Coq, Agda, Idris are languages that POC'd this).