»nil« seems to be a reserved constructor word in PolyML
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE91c16c5ad3e9: tidied auto / simp with null arguments
- Branches
- Unknown
- Tags
»nil« seems to be a reserved constructor word in PolyML Tags None Subscribers None
Description
Details
|