Hacker News new | ask | show | jobs
by ykonstant 971 days 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/depende...