summaryrefslogtreecommitdiff
path: root/Term.hs
AgeCommit message (Expand)Author
2012-09-13Cleaner directory structure, addition of make clean, grouping of library modu...Jed Barber
2012-05-31Fixed type variable substitutionJed Barber
2012-05-29All potential errors now caught into NothingsJed Barber
2012-05-22Split the Object wrapping from the actual computation in the article commandsJed Barber
2012-05-15Fixed alphaEquiv, againJed Barber
2012-05-15Fixed bugs in alphaEquiv, substituteJed Barber
2012-05-15Fixed a number of compilation errorsJed Barber
2012-05-15Added functions to find type variables in terms and typesJed Barber
2012-05-15Changed substitute/rename to use sets instead of listsJed Barber
2012-05-11Incorporated use of Data.Set and Data.MapJed Barber
2012-05-11Moved datatype declarations and associated functions to separate filesJed Barber