summaryrefslogtreecommitdiff
path: root/Library/Term.hs
AgeCommit message (Expand)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 modu...Jed Barber