From 2e5fdb12d930d436839fcee8ca8c817cd9c937b5 Mon Sep 17 00:00:00 2001 From: rvcas Date: Mon, 24 Oct 2022 00:11:42 -0400 Subject: [PATCH] chore: update roadmap --- book/src/introduction.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/introduction.md b/book/src/introduction.md index 2fdad7ef..aac49161 100644 --- a/book/src/introduction.md +++ b/book/src/introduction.md @@ -28,7 +28,7 @@ building a new high level language for writing smart contracts on Cardano. - [ ] [v0.1.0 - Initial Alpha](https://github.com/txpipe/aiken/milestone/1) - [x] define aiken as a language - [x] implement lexing/parsing with pretty error messages - - [ ] type checking and inference + - [x] type checking and inference - [ ] uplc code gen - [ ] [v0.2.0 - Implement standard library ](https://github.com/txpipe/aiken/milestone/2)