Commit Graph

3 Commits (ca12a9dd9c8392d9025810c78c5795152f33355b)

Author SHA1 Message Date
matthew.willis 77ce02470a fixed lambda 2006-08-09 06:02:50 +00:00
matthew.willis 3bf43d3c61 Refactored Lambda, implemented reverse name lookups 2006-08-09 05:57:56 +00:00
matthew.willis 4ac2a11bc3 Lambda Calculus 2006-08-07 00:31:29 +00:00