Agda-2.4.2.3: A dependently typed functional programming language and proof assistant
Agda.Compiler.JS.Syntax
data Exp Source
Constructors
Instances
newtype LocalId Source
newtype GlobalId Source
newtype MemberId Source
data Export Source
Fields
data Module Source
class Uses a where Source
Methods
uses :: a -> Set [MemberId] Source
class Globals a where Source
globals :: a -> Set GlobalId Source