Hacker News new | ask | show | jobs
by pangram 4101 days ago
You're aware of core.typed? If not, take a look -- it provides type checking / induction on Clojure code.