Language.Syntactic.Interpretation.Semantics

data Semantics a

type family Denotation sig

class Semantic expr