From 4ca1a65529008b2bcf1d6a25ec6122e5e18ccd77 Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Tue, 10 May 2022 12:10:33 +0200 Subject: [PATCH] Tests --- tests/test01.8pus | 5 +++++ tests/test04.8pus | 7 +++++++ tests/test05.8pus | 1 + tests/test06.8pus | 1 + tests/test07.8pus | 1 + tests/test08.8pus | 1 + 6 files changed, 16 insertions(+) create mode 100644 tests/test01.8pus create mode 100644 tests/test04.8pus create mode 100644 tests/test05.8pus create mode 100644 tests/test06.8pus create mode 100644 tests/test07.8pus create mode 100644 tests/test08.8pus diff --git a/tests/test01.8pus b/tests/test01.8pus new file mode 100644 index 0000000..ebd62d4 --- /dev/null +++ b/tests/test01.8pus @@ -0,0 +1,5 @@ +(A -> B -> C) -> (B -> A -> C) +intro f. +intro b. +intro a. +apply f. diff --git a/tests/test04.8pus b/tests/test04.8pus new file mode 100644 index 0000000..baac31d --- /dev/null +++ b/tests/test04.8pus @@ -0,0 +1,7 @@ +(A -> B) -> (B -> C) -> A -> C +intro f. +intro g. +intro a. +apply g. +apply f. +assumption. diff --git a/tests/test05.8pus b/tests/test05.8pus new file mode 100644 index 0000000..2ca7773 --- /dev/null +++ b/tests/test05.8pus @@ -0,0 +1 @@ +((A -> A) -> B) -> B diff --git a/tests/test06.8pus b/tests/test06.8pus new file mode 100644 index 0000000..58d5463 --- /dev/null +++ b/tests/test06.8pus @@ -0,0 +1 @@ +(A -> B -> C) -> (A -> B) -> A -> C diff --git a/tests/test07.8pus b/tests/test07.8pus new file mode 100644 index 0000000..16c7cd4 --- /dev/null +++ b/tests/test07.8pus @@ -0,0 +1 @@ +A -> ~(~A) diff --git a/tests/test08.8pus b/tests/test08.8pus new file mode 100644 index 0000000..f253a43 --- /dev/null +++ b/tests/test08.8pus @@ -0,0 +1 @@ +(A -> B) -> ~B -> ~A