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