acmm.agda

{----------------------------------------------}
{- Semantics and Generic Evaluation Functions -}
{----------------------------------------------}
module acmm where

open import tri-prelude public
open import lambda-fg public
open import semantics-acmm public
open import renaming-acmm public
open import substitution-acmm public