pisigma-0.2.1: A dependently typed core language

Index - V

ValLanguage.PiSigma.Syntax
VarLanguage.PiSigma.Syntax
VBoxLanguage.PiSigma.Syntax
vcatLanguage.PiSigma.Pretty
VEnumLanguage.PiSigma.Syntax
VFoldLanguage.PiSigma.Syntax
VLabelLanguage.PiSigma.Syntax
VLamLanguage.PiSigma.Syntax
VLiftLanguage.PiSigma.Syntax
VPairLanguage.PiSigma.Syntax
VQLanguage.PiSigma.Syntax
VRecLanguage.PiSigma.Syntax
vsepLanguage.PiSigma.Pretty
VTypeLanguage.PiSigma.Syntax