From 7f068f1989a41aeb1ddea6cb0fb2cab4a8f96c86 Mon Sep 17 00:00:00 2001
From: depsterr <depsterr@protonmail.com>
Date: Thu, 6 Oct 2022 20:45:47 +0200
Subject: [PATCH] updated readme

---
 README.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d29ecc9..02edcad 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,12 @@
 # CwFs
 
-A formalization of CwFs in cubical agda using the 1Lab as a library.
+A formalization of CwFs in literate cubical agda using the 1Lab as a library.
+
+# Goals
+
+* Defining CwFs
+* Defining type formers for CwFs
+* Proving some basic initiality results
 
 # Dependencies