-
chevalier@alum.wellesley.edu authored
Add new syntax in External Core for primitive coercions (trans, sym, etc.) rather than wiring their names into the ext-core parser.
391a3e9c
Add new syntax in External Core for primitive coercions (trans, sym, etc.) rather than wiring their names into the ext-core parser.