Home

Scilla: A Smart Contract Intermediate Level Language

This wiki collects the related specification documents and tutorials. It also outlines the current project development status.

Elements of Scilla Specification

Coming soon

Roadmap

• Itemised list of language aspects and features

Related documents

• Position paper
• A paper with more examples
• Language specification in PDF (to be updated soon) (WIP)