From 00e904950ffb09009cfa24d7d3196003dca11766 Mon Sep 17 00:00:00 2001 From: russoul Date: Sat, 10 Aug 2024 13:57:48 +0400 Subject: [PATCH] Update README --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 2f8d4e1..c92d7b1 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,7 @@ A programming language based on [extensional Martin Lof Type Theory](https://nca ### Dependencies [Just-a-Monad](https://github.com/Russoul/Just-a-Monad) + [Just-a-Parser](https://github.com/Russoul/Just-a-Parser) ### Tooling