History of
doc
/
Maxixe.md
@master
git clone https://git.catseye.tc/Maxixe/
- Add definition of nonlocal to spec and refactor example proofs. Chris Pressey 8 years ago
- Sugar also in the rule: `case`...`end` can be omitted if only 1. Chris Pressey 8 years ago
- Syntatic sugar: if only 1 case in block, case/end need not appear. Chris Pressey 8 years ago
- Enforcing a final rule in a block-case is now optional. Chris Pressey 8 years ago
- Initial import of Maxixe source (work-in-progress). Chris Pressey 8 years ago