summaryrefslogtreecommitdiff
path: root/Library
AgeCommit message (Collapse)Author
2012-10-07Added function to add many graphparts at onceJed Barber
2012-10-07Dictionary methods cleaned up, Cost model library addedJed Barber
2012-10-04Alpha equivalence typing fixedJed Barber
2012-09-28Types only tracked in alpha equivalence for bound variablesJed Barber
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 ↵Jed Barber
modules into a single package
generated by cgit (git 2.30.0) at 2024-12-22 19:15:40 +0000