A re-implementation of the Cardano blockchain layer, started in Q4 2018.
The formal specifications and associated executable specifications can be found
This repo uses
brittany to enforce a consistent formatting style.
If you have
brittany installed, the
will run it over all
.hs files with our
brittany config file.
Otherwise, if your build fails the
brittany CI tests, the buildkite page will
git patch that you can apply and amend you your commit.