Agda-2.3.2.2: src/prototyping/termrep/Terms/Interface.hs

{-# LANGUAGE TypeFamilies, FlexibleContexts #-}

module Terms.Interface where