Hi,

The spec1-type-providers example project shows how to use spec1 specs as static types.

Thanks to Rayat R on Clojurians #core-typed Slack for the inspiration, who asked me if we could use spec1 spec to type check in the same way as my previous post uses Malli. I whipped up this MVP in a few hours---it only supports `clojure.core/int?` and `fspec`, but is fully extensible like malli.

Thanks,
Ambrose