Age | Commit message (Expand) | 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 |