PLFA agda exercises
{-# OPTIONS --rewriting --sized-types --guardedness #-}

module index where

-- You probably want to start with this module:
import README

-- For a brief presentation of every single module, head over to
import Everything

-- Otherwise, here is an exhaustive, stern list of all the available modules: