From a8a53ddc21cd10550e6926390e5caa966d78ad05 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Tue, 16 May 2023 09:38:46 -0500
Subject: [PATCH] readme

---
 README.md | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..0fc0199
--- /dev/null
+++ b/README.md
@@ -0,0 +1,9 @@
+cubical
+===
+
+This repository tracks my exploration into cubical type theory, including my
+progress into research for my master's degree.
+
+Links:
+
+- [my current focus](https://git.mzhang.io/school/cubical/projects/2)