Home Explore Help
Sign In
projects
/
muMLE
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: c351649d23
Branches Tags
muMLE
/
concrete_syntax
Joeri Exelmans c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 1 year ago
..
plantuml e875821e70 Concrete syntax no longer indentation-based (nightmare to parse). Add indented multi-line code terminals. 1 year ago
textual_cd 03cc568516 Move file. Small fix. 1 year ago
textual_od c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 1 year ago
common.py e875821e70 Concrete syntax no longer indentation-based (nightmare to parse). Add indented multi-line code terminals. 1 year ago