Untyped λ-calculus

{-# OPTIONS --rewriting --confluence-check #-}

module LC.index where

import LC.Definitions
import LC.Tests