From 975e3c576ae74e5770d45ebd581fb2a36f1a7a03 Mon Sep 17 00:00:00 2001
From: Alexander Cox <38000079+lxndrcx@users.noreply.github.com>
Date: Fri, 8 Feb 2019 16:48:43 +1100
Subject: [PATCH] Update README.md

---
 README.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 15a7fc6..459c79b 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,8 @@
 ## Summer Project 2018/2019: Equivalences of proof theories in HOL
 Done:
-- Proof in minimal intuitionistic logic
+- Proof in full intuitionistic logic
 
 TODO: 
-- full intuitionistic and classical logic
+- classical logic
+- report
+- seminar