An optional type system for Clojure

Issues: Due

  • Defect CTYP-27 clojure.lang.RT/nth's type doesn't currently allow nil as the first argument
  • Defect CTYP-32 Cannot instantiate variables that have bounds
  • Defect CTYP-35 Should use fresh names when checking plambdas

Issues: 30 Day Summary

Issues: 6 created and 8 resolved

Issues: Updated recently

  • Enhancement CTYP-220 Today 4:05 AM Data generator for a type
  • Enhancement CTYP-219 Today 2:57 AM RPS example does not type check
  • Defect CTYP-218 Yesterday 9:11 AM wrap-clj-repl causes error

Versions: Due

Activity Stream