Modelling dependent types with clojure.spec
Primary LanguageClojureMIT LicenseMIT
No issues in this repository yet.