3 ms·
Before taking the plunge on using dependent types in production, please heed the warnings discussed here: https://lean-lang.org/functional_programming_in_lean/d
by ykonstant 3y ago
Before taking the plunge on using dependent types in production, please heed the warnings discussed here: https://lean-lang.org/functional_programming_in_lean/dependent-types/pitfalls.html https://lean-lang.org/functional_programming_in_lean/depende...