bitml-compiler

Compiles BitML smart contracts to Bitcoin transactions.

BitML is a high-level language used to specify Bitcoin smart contracts, abstracting from transactions.

Installation

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

After the installation, you have to logout and login again.

Name		Name	Last commit message	Last commit date
Latest commit History 248 Commits
bitml		bitml
examples		examples
web		web
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
info.rkt		info.rkt
install.sh		install.sh