noidi / core.typed-record-problem

A demonstration of a problem with type-checking records. Run lein check and you should get an AssertionError. See src/problem/core.clj for the problematic namespace.