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.
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.