README.md

Introduction to (co)recursion schemes

Requirements

sbt should be installed and in your $PATH

Instructions

Clone this repository

git clone [email protected]:jsantos17/crs.git

cd into the repo and fetch the work branch

git fetch origin work

Fetch checkpoint tags

git fetch --tags

Checkout the first checkpoint.

git checkout checkpoint_00

You can find the list of all checkpoints using git tag -l

Run sbt at the root of the repository and call run