Installation

You can install the library and open a repl by cloning this repository and doing:

cd pds
cabal v2-repl --repl-options="-ghci-script .ghci"

A Nix-based installation is also possible by doing:

cd pds
nix-shell --run "cabal v2-repl --repl-options=\"-ghci-script .ghci\""