utgwkk/poly-record-ml

A polymorphic record calculus. Contribute to utgwkk/poly-record-ml development by creating an account on GitHub.