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: 7 created and 3 resolved

Issues: Updated recently

  • Defect CTYP-215 23/Apr/15 Domain of clojure.core/zero? is Number, not Any
  • Defect CTYP-214 22/Apr/15 core.typed 0.2.84 raises an exception when trying to infer the type of (atom #{})
  • Defect CTYP-212 22/Apr/15 Can't create a promise of the same type as a record field

Versions: Due

Activity Stream