History of src @master git clone https://git.catseye.tc/Maxixe/

• Merge branch 'logic-syntax-sugar' into develop-0.2 Chris Pressey 2 years ago
• Make tests exercise Python 3. Make them pass when using Python 3. Chris Pressey 5 years ago
• Make lexical scanner less dreadfully inefficient on large inputs. Chris Pressey 5 years ago
• Experimentally support some syntactic sugar for logic notation. Chris Pressey 7 years ago
• Allow hole in Universal Generalization to be plugged. Chris Pressey 8 years ago
• Simplify further, now that we can. Chris Pressey 8 years ago
• Internally, the steps of a proof are their own "neutral" block. Chris Pressey 8 years ago
• Improve error subsystem. Chris Pressey 8 years ago
• Make internals more Pythonic. Document the operations on Terms. 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
• Implement occurs check during substitution. Chris Pressey 8 years ago
• Each term can contain substitutions (Substors) anywhere in it. Chris Pressey 8 years ago
• Enforcing a final rule in a block-case is now optional. Chris Pressey 8 years ago
• Add simple number theory proof as an example. Chris Pressey 8 years ago
• Can generalize a term and UI to a term. Improve error messages. Chris Pressey 8 years ago
• Initial import of Maxixe source (work-in-progress). Chris Pressey 8 years ago