A proof assistant is what happens if you spend all your time developing a type checker for your language and forget that programs also need to be run.
Vladislav Zavialov: Why Dependent Haskell is the Future of Software Development
A proof assistant is what happens if you spend all your time developing a type checker for your language and forget that programs also need to be run.
Vladislav Zavialov: Why Dependent Haskell is the Future of Software Development