summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-05-16set instruction completeJed Barber
2014-05-15Placeholders and auxilliary functionsJed Barber
2014-05-15Finally down to starting the individual instruction functionsJed Barber
2014-05-14Function to calculate reachable nodes completeJed Barber
2014-05-13Improved details of garbage collection functionJed Barber
2014-05-12Garbage collection functionJed Barber
2014-05-11Function to find all named nodes in a grasp programJed Barber
2014-05-10Allowed parser to handle blank lines in amongst the rule listingsJed Barber
2014-05-09Updated readme for thue interpreter switchesJed Barber
2014-05-07Exposed rule application order and version 2a parsing at command lineJed Barber
2014-05-05Skeleton of interpreter addedJed Barber
2014-05-05Removed superfluous Unlambda.Parser importJed Barber
2014-05-05Improved parser complete, untestedJed Barber
2014-05-04Improved parser almost complete, needs whitespace handlingJed Barber
2014-05-04Near completion of improved DOT language based grasp parserJed Barber
2014-05-04Started writing more complete DOT language parserJed Barber
2014-05-04Can now look up nodes in a graph that have a specific nameJed Barber
2014-05-04Will now detect if a node is declared twice or if an edge is left unconnectedJed Barber
2014-05-03Parser now parses nodes with arbitrary names (prev commit could just construc...Jed Barber
2014-05-03Parser now handles nodes with arbitrary names instead of just numbersJed Barber
2014-05-02Separated GraspProgram type and associated functions into own moduleJed Barber
2014-05-02Grasp program isomorphic comparison half doneJed Barber
2014-05-01Added initial tests for grasp parserJed Barber
2014-04-30Name error check code completeJed Barber
2014-04-30Further progress on checking for parse errorsJed Barber
2014-04-29Example grasp program: catJed Barber
2014-04-29Outline of code for parse-time errors writtenJed Barber
2014-04-28Simplifying slightly with Either monadJed Barber
2014-04-27Added variables to node data structureJed Barber
2014-04-27Parser can now handle interspersed node and edge statementsJed Barber
2014-04-26Parser for Grasp begun, using a subset of the graphviz DOT languageJed Barber
2014-04-15Parser for Thue v2a finishedJed Barber
2014-04-14Now assumes version 1 unless specified otherwiseJed Barber
2014-04-14Everything done for v2a except the actual character parsingJed Barber
2014-04-14Interpreter can now handle literal strings to avoid code injectionJed Barber
2014-04-13More preparations for thuestates that aren't mere stringsJed Barber
2014-04-12Changes to allow for thuestates that aren't mere stringsJed Barber
2014-04-11Readme addedJed Barber
2014-04-10Rearranging filesJed Barber
2014-04-09v function added, still not type perfectJed Barber
2014-03-26Brainfuck interpreter frontendJed Barber
2014-03-26The interpreter looks suspiciously like a turing machineJed Barber
2014-03-26Fixed detection of unclosed bracketsJed Barber
2014-03-25Brainfuck parser, it really is simple to writeJed Barber
2014-03-24Interpreter tests for dJed Barber
2014-03-23Tests for unlambda interpreterJed Barber
2014-03-20Essentially public domainJed Barber
2014-03-19More concise test case statementsJed Barber
2014-03-18Refactored testcases into separate modules for each languageJed Barber
2014-03-16Basic tests for Unlambda parserJed Barber