Some news: • recently resurrected the API reference for typedclojure https://www.patreon.com/posts/api-docs-45906333 • working on pulling out some internal logic in the type checker to test out the extensible typing rules interface https://opencollective.com/typedclojure/updates/porting-internal-type-rules-to-extensible-interface