{-# OPTIONS --safe --without-K #-}
module IK.Term.NormalForm where

open import IK.Term.NormalForm.Base       public
open import IK.Term.NormalForm.Properties public

Generated from commit 2fd14c996b195ef101dff8919e837907ca0a08aa.