From 74fb4c3a0ef1e2d410b9ae3fd53230a21eed9a91 Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Tue, 7 Nov 2023 15:01:31 -0700 Subject: [PATCH] list constraint solver as a milestone --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index f4bc331..0dac245 100644 --- a/README.md +++ b/README.md @@ -32,6 +32,7 @@ Listed in order of importance. - [ ] Lexer - [ ] Parser - [ ] Translation to the core language + - [ ] Constraint solver - [ ] `do`-notation - [ ] CLI