X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=offsite_reading.mdwn;h=d9c7f8263566c64d0ece2db957b80a646b78e1a8;hp=0c6a19da039b2ee6522f224ad7b3897411f981bd;hb=e09159ccfdc281101e7777af85e26d74cff95379;hpb=0d2b33a56cdeba0ca5c4fe605fcd4e7e6d5cdc3d diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn index 0c6a19da..d9c7f826 100644 --- a/offsite_reading.mdwn +++ b/offsite_reading.mdwn @@ -46,6 +46,7 @@ get more out of. (Rinse and repeat.) ## Untyped lambda calculus and combinatory logic ## * [[!wikipedia Lambda calculus]] +* Our [[Lambda evaluator]] * [Chris Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda) * [Lambda Animator](http://thyer.name/lambda-animator/) * [Penn lambda calculator](http://www.ling.upenn.edu/lambda/) Pedagogical software developed by Lucas Champollion, Josh Tauberer and Maribel Romero.