summaryrefslogtreecommitdiff
path: root/Library
AgeCommit message (Expand)Author
2014-03-12Removed some superfluous lambdas in intermediate functionsJed Barber
2014-03-06Getting remote and local repos sync'dJed Barber
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 modu...Jed Barber
generated by cgit (git 2.30.0) at 2024-12-22 19:35:06 +0000