summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2012-08-02Moved fst3, snd3, thd3 functions to Parse.hsJed Barber
2012-08-02Converted to moduleJed Barber
2012-08-02Generates a numbered list of theorems in an article fileJed Barber
2012-08-02Removes theorems from article, specified by numberJed Barber
2012-08-02Allows concatenation of article filesJed Barber
2012-08-02Moved proof trace output formatting function to Parse.hsJed Barber
2012-08-02Bugfixes for multiCommandsSimpleJed Barber
2012-07-26Linearisation of multi-output commands (has a few compile errors)Jed Barber
2012-07-12Fixed selection of new dictionary indicesJed Barber
2012-07-12Functions to linearise a graph into a proof trace (currently include ↵Jed Barber
removing unused portions and resolving single-output commands)
2012-07-12Graph generating functions accessible as a moduleJed Barber
2012-07-05Fixed bug in not detecting duplicate nodes in the graphJed Barber
2012-06-18Graph generator rewritten to use fgl graphsJed Barber
2012-06-17Switched to fgl graph implementationJed Barber
2012-06-14Changed numbers to be handled specially since they're only used by ↵Jed Barber
def/ref/remove
2012-06-14Removed ID: marking from graph displayJed Barber
2012-06-14Changed doGraphGen function to return only the graphJed Barber
2012-06-14Fixed bug with remove/refJed Barber
2012-06-14Added Show instance for the graphJed Barber
2012-06-13Changed pop to be handled speciallyJed Barber
2012-06-07Inconsequential changeJed Barber
2012-06-07Code to generate a dependency graph of commands in a proof traceJed Barber
2012-06-04Separated output by function being testedJed Barber
2012-06-04Cleaned up how the state of the virtual machine is handledJed Barber
2012-05-31Fixed type variable substitutionJed Barber
2012-05-31Tests for substituteJed Barber
2012-05-29Changed failure checking to monadic notationJed Barber
2012-05-29Tests for number, assume, axiom, alphaEquivJed Barber
2012-05-29Changed Command-test.hs to Test.hsJed Barber
2012-05-29Moved Stack datatype to separate fileJed Barber
2012-05-29All potential errors now caught into NothingsJed Barber
2012-05-22First few test casesJed Barber
2012-05-22Split the Object wrapping from the actual computation in the article commandsJed Barber
2012-05-15Fixed alphaEquiv, againJed Barber
2012-05-15Added guards for command functionsJed Barber
2012-05-15Fixed bugs in alphaEquiv, substituteJed Barber
2012-05-15Fixed bug in mkEqualsTypeJed Barber
2012-05-15Fixed a number of compilation errorsJed Barber
2012-05-15Added a standard reference for a bool typeJed Barber
2012-05-15Added functions to find type variables in terms and typesJed Barber
2012-05-15Changed substitute/rename to use sets instead of listsJed Barber
2012-05-14Moved a number of article format parsing functions to a separate fileJed Barber
2012-05-14Started using Data.Char for number testingJed Barber
2012-05-14Added the removal of escape character backslashes from name processingJed Barber
2012-05-11Incorporated use of Data.Set and Data.MapJed Barber
2012-05-11isNumber and isName slightly more readableJed Barber
2012-05-11Moved datatype declarations and associated functions to separate filesJed Barber
2012-05-10Fixed datatype used for substitutionsJed Barber
2012-05-10Improved display of types and type operatorsJed Barber
2012-05-10Improved display of = termsJed Barber