Getting started

Installation

Manual installation

For machines with Ubuntu 16 or newer, clone or download this repository, execute the installation script install.sh, then log off and login again.

git clone https://github.com/bitml-lang/bitml-compiler.git
cd bitml-compiler
./install.sh

Virtual machine image

Here you can find a VirtualBox virtual machine image with the BitML toolchain pre-installed.

Next steps

To write a BitML contract, open the DrRacket IDE and put at the beginning of your file #lang bitml.

For an overview of the capabilities of the toolchain, watch or video demonstration. To learn more about the BitML toolchain, take a look at the examples folder in the repository, or read BitML in a nutshell.