module Surface2.Lang where

open import Surface2.Syntax public
open import Surface2.Typing public