Commit 2023-06-16 02:09 8b844836

View on Github →

fix: improve IntermediateField.adjoin notation (#5110) This replaces the hacky typeclass-based system I wrote before, and now there are true set notations in the elaborated terms.

Estimated changes