a→ab

computation, game design, and experimentation

front page | about | archives | code dump | c.s. for mere mortals | tags | rss feed

Posts filed under 'predicates':

June 26, 2012 - CSMM - Lesson 1.3: Boolean Logic in the Lambda Calculus
June 29, 2012 - CSMM - Lesson 1.4: Advanced Logic and Arithmetic in the Lambda Calculus