From d4f76b7ca52a6d3b02ec1aed9874e5b82a0531e2 Mon Sep 17 00:00:00 2001 From: rvcas Date: Sun, 31 Jul 2022 11:44:49 -0400 Subject: [PATCH] feat: update readme --- README.md | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 8a675efc..3177e6ac 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,13 @@ -# AIKEN - -A cardano smart contract language and toolchain +
+ Aiken + Aiken +
+

Cardano smart contract language and toolchain

+ GitHub + Crates.io + GitHub Workflow Status +
+
## Install @@ -53,7 +60,7 @@ is not necessariy the implementation order or full scope. - [x] compile plutus core into it's on chain encoding - [x] reverse the on chain encoding into plutus core -- [ ] Plutus Core interpreter +- [x] Plutus Core interpreter - [ ] create a higher level syntax with inspiration from - JS - ReasonML