arrows pointing right and left

Ambidexter/logic tutorial


email Scott Turner
home
Ambidexter

summary
examples
tutorial
questions
rationale
download
reference
links


lesson 1
lesson 2
lesson 3
lesson 4
lesson 5

This is the beginning of a tutorial in programming based on classical logic.

  1. and types, function types, True
  2. function expressions and builtins
  3. coterms
  4. or types
  5. and/or types
  6. actions
  7. not
  8. call by name
  9. quantifiers for generics
  10. quantifiers for abstraction
  11. higher order types

Support open standards!  
Valid XHTML 1.0!