bools-not-t.out « examples « tests - coms6998.git - lambda calculus interpreter

about summary refs log tree commit diff

path: root/tests/examples/bools-not-t.out

blob: 2a6a257169ce8d30dda1a5f3ca0beb96be69d633 (plain)

1	`(\true . \false . \and . \or . \not . not true) (\x . \y . x) (\x . \y . y) (\p . \q . p q p) (\p . \q . p p q) (\p . \x . \y . p y x)`