Age | Commit message (Expand) | Author |
2014-05-10 | Allowed parser to handle blank lines in amongst the rule listings | Jed Barber |
2014-05-07 | Exposed rule application order and version 2a parsing at command line | Jed Barber |
2014-05-05 | Skeleton of interpreter added | Jed Barber |
2014-05-05 | Removed superfluous Unlambda.Parser import | Jed Barber |
2014-05-05 | Improved parser complete, untested | Jed Barber |
2014-05-04 | Improved parser almost complete, needs whitespace handling | Jed Barber |
2014-05-04 | Near completion of improved DOT language based grasp parser | Jed Barber |
2014-05-04 | Started writing more complete DOT language parser | Jed Barber |
2014-05-04 | Can now look up nodes in a graph that have a specific name | Jed Barber |
2014-05-04 | Will now detect if a node is declared twice or if an edge is left unconnected | Jed Barber |
2014-05-03 | Parser now parses nodes with arbitrary names (prev commit could just construc... | Jed Barber |
2014-05-03 | Parser now handles nodes with arbitrary names instead of just numbers | Jed Barber |
2014-05-02 | Separated GraspProgram type and associated functions into own module | Jed Barber |
2014-05-02 | Grasp program isomorphic comparison half done | Jed Barber |
2014-05-01 | Added initial tests for grasp parser | Jed Barber |
2014-04-30 | Name error check code complete | Jed Barber |
2014-04-30 | Further progress on checking for parse errors | Jed Barber |
2014-04-29 | Example grasp program: cat | Jed Barber |
2014-04-29 | Outline of code for parse-time errors written | Jed Barber |
2014-04-28 | Simplifying slightly with Either monad | Jed Barber |
2014-04-27 | Added variables to node data structure | Jed Barber |
2014-04-27 | Parser can now handle interspersed node and edge statements | Jed Barber |
2014-04-26 | Parser for Grasp begun, using a subset of the graphviz DOT language | Jed Barber |
2014-04-15 | Parser for Thue v2a finished | Jed Barber |
2014-04-14 | Now assumes version 1 unless specified otherwise | Jed Barber |
2014-04-14 | Everything done for v2a except the actual character parsing | Jed Barber |
2014-04-14 | Interpreter can now handle literal strings to avoid code injection | Jed Barber |
2014-04-13 | More preparations for thuestates that aren't mere strings | Jed Barber |
2014-04-12 | Changes to allow for thuestates that aren't mere strings | Jed Barber |
2014-04-10 | Rearranging files | Jed Barber |