ReadMe.md

Nix flake for an Ouroboros Leios development environment

Compiling Haskell

$ nix develop

# Navigate to the top-level Leios folder.
$ cd .../ouroboros-leios

$ cabal update

$ cabal build all

Building packages or executables

Build xyz among the following . . .

• agdaIOGPrelude
• agdaSets
• agdaStdlib
• agdaStdlibClasses
• agdaStdlibMeta
• agdaWithDeps
• leiosSpec
• ols

. . . with the command . . .

$ nix build .#xyz

Running Leios

$ nix run .#ols -- --help