Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-02-10 | Added Eq derivation for FractranProgram and ThueProgram datatypes | Jed Barber | |
2014-02-09 | Fixed module names | Jed Barber | |
2014-02-08 | Removed one line do notation for readability | Jed Barber | |
2014-02-07 | Fixed miscellaneous minor errors | Jed Barber | |
2014-02-07 | Changed datatypes to have more unique names | Jed Barber | |
2014-02-07 | Moved Thue parser into its own module | Jed Barber | |