summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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 ↵Jed Barber
construct graphs out of them)
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
2014-03-16Added c and eJed Barber
2014-03-15Basic unlambda builtins implemented directly in haskellJed Barber
2014-03-14Renamed Unlambda.Monad to Unlambda.TypesJed Barber
2014-03-14Separated monad and datatype definitions from rest of codeJed Barber
2014-03-14Removed superfluous Data.Typeable importJed Barber
2014-03-14Added wrapper command line program for unlambda interpreterJed Barber
2014-03-14Unlambda interpreter completeJed Barber
2014-03-13GHC bug of some kindJed Barber
2014-03-12Removed some superfluous do notationJed Barber
2014-03-12Continuations now working, but @,|,? removed temporarilyJed Barber
2014-03-11Added support for @,|,?Jed Barber
2014-03-10UnlambdaTerms now Show correctlyJed Barber
2014-03-10Added support for the e Unlambda builtinJed Barber