Everything.agda

{-# OPTIONS --rewriting #-}

module Everything where

import Examples
import Properties
import PrettyPrinter
import Interpreter