From ff43d1b9ac0b3fbb34cc7adb82504186e868f03d Mon Sep 17 00:00:00 2001
From: JJ
Date: Tue, 11 Apr 2023 03:19:44 -0700
Subject: initial draft of an actual multi-line language parser

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 4b26e2d..aad2d40 100644
--- a/README.md
+++ b/README.md
@@ -4,10 +4,10 @@
 
 - [x] the simple lambda calculus: implement `execute`
 - [x] to lose my sanity: implement `parse`
-- [ ] bidirectional typechecking: implement `infer` and `check`
+- [x] bidirectional typechecking: implement `infer` and `check`
 - [ ] simple effects: extend `ast`
 - [ ] type classes: implement `monomorphize`
-- [ ] to be fancy: implement `parse_file`
+- [x] to be fancy: implement `parse_file`
 - [ ] extend to additional basic types: implement `cast`
 - [ ] extend to complex types
 - [ ] testtesttest
-- 
cgit v1.2.3-70-g09d2