From f6be1ad6da4eb9425f6c74b2b794e276f8e7f989 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 10 May 2022 14:02:36 +0200
Subject: [PATCH] Test 8

---
 tests/test08.8pus | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tests/test08.8pus b/tests/test08.8pus
index f253a43..15d633f 100644
--- a/tests/test08.8pus
+++ b/tests/test08.8pus
@@ -1 +1,7 @@
 (A -> B) -> ~B -> ~A
+intro f.
+intro b.
+intro a.
+apply b.
+apply f.
+assumption.