Age | Commit message (Expand) | Author |
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-11 | Readme added | Jed Barber |
2014-04-10 | Rearranging files | Jed Barber |
2014-04-09 | v function added, still not type perfect | Jed Barber |
2014-03-26 | Brainfuck interpreter frontend | Jed Barber |
2014-03-26 | The interpreter looks suspiciously like a turing machine | Jed Barber |
2014-03-26 | Fixed detection of unclosed brackets | Jed Barber |
2014-03-25 | Brainfuck parser, it really is simple to write | Jed Barber |
2014-03-24 | Interpreter tests for d | Jed Barber |
2014-03-23 | Tests for unlambda interpreter | Jed Barber |
2014-03-20 | Essentially public domain | Jed Barber |
2014-03-19 | More concise test case statements | Jed Barber |
2014-03-18 | Refactored testcases into separate modules for each language | Jed Barber |
2014-03-16 | Basic tests for Unlambda parser | Jed Barber |
2014-03-16 | Added c and e | Jed Barber |
2014-03-15 | Basic unlambda builtins implemented directly in haskell | Jed Barber |
2014-03-14 | Renamed Unlambda.Monad to Unlambda.Types | Jed Barber |
2014-03-14 | Separated monad and datatype definitions from rest of code | Jed Barber |
2014-03-14 | Removed superfluous Data.Typeable import | Jed Barber |
2014-03-14 | Added wrapper command line program for unlambda interpreter | Jed Barber |
2014-03-14 | Unlambda interpreter complete | Jed Barber |
2014-03-13 | GHC bug of some kind | Jed Barber |
2014-03-12 | Removed some superfluous do notation | Jed Barber |
2014-03-12 | Continuations now working, but @,|,? removed temporarily | Jed Barber |
2014-03-11 | Added support for @,|,? | Jed Barber |
2014-03-10 | UnlambdaTerms now Show correctly | Jed Barber |