support for ML special forms: modified evaluation similar to Scheme;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa2c589d5e1e4: clarified signature: more detailed token positions for antiquotations;
- Branches
- Unknown
- Tags