pisigma-0.2.1: A dependently typed core language

Index - I

Id 
1 (Data Constructor)Language.PiSigma.Syntax
2 (Type/Class)Language.PiSigma.Syntax
identifierLanguage.PiSigma.Lexer
indentLanguage.PiSigma.Pretty
inferLanguage.PiSigma.Check
integerLanguage.PiSigma.Lexer
IntensifyLanguage.PiSigma.Pretty
isNullLanguage.PiSigma.Pretty
isPrefixOf 
1 (Function)Language.PiSigma.Util.String.Parser
2 (Function)Language.PiSigma.Util.String.Internal