summaryrefslogtreecommitdiff
path: root/Semantic.hs
AgeCommit message (Collapse)Author
2012-05-11Moved datatype declarations and associated functions to separate filesJed Barber
2012-05-10Fixed datatype used for substitutionsJed Barber
2012-05-10Improved display of types and type operatorsJed Barber
2012-05-10Improved display of = termsJed Barber
2012-05-10typeOf definition fixedJed Barber
2012-05-08Names processed properlyJed Barber
2012-05-08Alpha equivalence function fixed to account for lambda depthJed Barber
2012-05-08Informative output for Stack, Dictionary, Assumptions, TheoremsJed Barber
2012-05-07Initial sourceJed Barber