From 357bfd4c2a4d2694ad30dc409fea4b99afd3d883 Mon Sep 17 00:00:00 2001 From: depsterr Date: Mon, 16 May 2022 17:40:01 +0200 Subject: [PATCH] add readme --- README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..33eee5c --- /dev/null +++ b/README.md @@ -0,0 +1,14 @@ +# pi +A dependently typed system + +# TODO + +* Inductively defined datatypes + +* Implicit arguments, Metavariables, and Unification + +* Universe hierarchy + + * Universe Polymorphism + + * Cumulative Universes(?)