Skip to content

Q*cert 1.4.1
Compare
Choose a tag to compare
@jeromesimeon jeromesimeon released this 08 Oct 14:52
· 421 commits to master since this release
v1.4.1
c22b3ba

🐛 This is a bug-fix release, which adjusts the JavaScript and Java runtime so that record concatenation conforms to the specification (#118).

👩‍🔬 This release also includes a generalized inference-with-subtyping rule for record concatenation, and a more general lemma showing that record concatenation prioritizes duplicate fields on the right operand.

Assets 2
Loading