{-# OPTIONS --without-K --safe #-} module Minimal.README where -- static semantics import Minimal.Statics -- nbe operations for βη equivalence import Minimal.TypedSem -- completeness for nbe import Minimal.PER -- soundness for nbe import Minimal.Soundness