williamdemeo

fls/cl conformance tests notes

These notes describe running conformance tests on the Cardano blockchain ledger---specifically, we test the native Haskell implementation against the Agda-generated Haskell code of the formal specification.

We'll create

fls = a directory where we clone the [formal-ledger-specifications][] repo.

williamdemeo

Install Zola

source: https://www.getzola.org/documentation/getting-started/installation/

cd git/
git clone [email protected]:getzola/zola.git
cd zola/
sudo apt install rust
sudo apt install libssl-dev
curl https://sh.rustup.rs -sSf | sh

cargo build --release

williamdemeo

Migrating to hakyll

Sequence of commands that worked for me

sudo apt remove hakyll-dev
stack upgrade
stack install hakyll
hakyll-init open-notebook-wjd

cd open-notebook-wjd/