From bc9a229a5c7c3914b88d62e8e7fe958f7992041c Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Wed, 28 May 2025 07:48:53 +0200
Subject: [PATCH] update roadmap

---
 progress.txt | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/progress.txt b/progress.txt
index ebeb698..96d955d 100644
--- a/progress.txt
+++ b/progress.txt
@@ -10,11 +10,16 @@ done:
           - types
   - generic types and type unification (inferencing)
   - recursive types
+  - dynamic typing (value + type)
+  - projectional editor (hosted at https://deemz.org/public/dope2)
 
 todo:
-  - dynamically typed values: have 'Any' or 'Top' type?
-  
+  - simpler encoding of product/sum and struct/enum
 
+  - mutually recursive types
+
+  - turn AST type for lambda calculus expressions from projectional editor into explicit DOPE type
+  
   - to support sets of slots, need comparison of slots
       => comparison of values
         => problem: how to compare transformed values? their inputs can come from different types