Typed Clojure Update 2 of 2

The goal of this project funded by Clojurists Together is to (resurrect) support for type checking ClojureScript files in Typed Clojure.

Since the last update, support for type-checking ClojureScript has improved enough to consider the CLJS type checker "resurrected" (but still young).

To stress test the ability for Typed Clojure to check .cljc files, I have been type checking malli's implementation.

Checking in CLJS mode has revealed many bugs and shortcomings in the checker. Clojure mode has been outrageously successful--it found a bug in malli!

Some other feature work has been landing in Typed Clojure that has support for both Clojure and ClojureScript (enabled by this Clojurists Together project).

• using malli schemas as types
• using specs as types (CLJS WIP)
• support defprotocol and implements? in CLJS
• checking programs without depending on Typed Clojure
• new syntactic sugar for function types

See the CHANGELOG.md for full details on everything else accomplished in the time period since the last update (versions 1.0.21-1.0.28).