summaryrefslogtreecommitdiff
path: root/Library
AgeCommit message (Expand)Author
2012-09-28Exposed function to convert machineStates to stringsJed Barber
2012-09-28Added function to compute the difference of two stacksJed Barber
2012-09-28Type alpha equivalence in limboJed Barber
2012-09-27Stack datatype now deriving EqJed Barber
2012-09-26Fixed minor alpha conversion argument ordering bugJed Barber
2012-09-24Allowed output of a graphpart to be used by multiple nodesJed Barber
2012-09-22TermNet working properlyJed Barber
2012-09-22Added a function to check whether a given type is a type variableJed Barber
2012-09-22Moved some functions from graphpart to proofgraphJed Barber
2012-09-14Code complete, but buggyJed Barber
2012-09-13Cleaner directory structure, addition of make clean, grouping of library modu...Jed Barber