summaryrefslogtreecommitdiff
path: root/Library/Term.hs
AgeCommit message (Collapse)Author
2012-10-04Alpha equivalence typing fixedJed Barber
2012-09-28Types only tracked in alpha equivalence for bound variablesJed Barber
2012-09-28Type alpha equivalence in limboJed Barber
2012-09-26Fixed minor alpha conversion argument ordering bugJed Barber
2012-09-13Cleaner directory structure, addition of make clean, grouping of library ↵Jed Barber
modules into a single package