From 8c0205ade477f732fceb484bf5986fdbc6469667 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Mon, 1 Jun 2020 17:26:39 +0200
Subject: update

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 329ecf1..14dd5d9 100644
--- a/README.md
+++ b/README.md
@@ -27,4 +27,5 @@ In no particular order. Some of the following might require changes to the Isabe
       Will need an elaborator integrated into Isabelle's syntax checking.
 - [ ] Inductive type definitions.
 - [ ] Recursive function definitions.
+- [ ] Higher inductive type definitions.
 
-- 
cgit v1.2.3