Scilla - A Smart Contract Intermediate Level Language
Why do you think that https://github.com/FStarLang/karamel is a good alternative to scilla
Scilla - A Smart Contract Intermediate Level Language
Why do you think that https://github.com/FStarLang/karamel is a good alternative to scilla