Check arity of constructors in where type before trying to apply realisation. Fixes #142.
Description
Description
Details
Details
- Provenance
dcjm Authored on Apr 29 2021, 1:59 PM - Parents
- rPOLYML16458adbf40e: PolyML.pretty and PolyML.context are eqtypes based on their current…
- Branches
- Unknown
- Tags