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)
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-19 01:31:09 +0000