lean-bindings-0.1: Haskell bindings to the Lean Theorem Prover.

Index - I

imaxUnivLanguage.Lean.Univ, Language.Lean
IndexNameLanguage.Lean.Internal.Name, Language.Lean.Name, Language.Lean
InductiveDeclLanguage.Lean.Internal.Inductive, Language.Lean.Inductive
inductiveDeclLanguage.Lean.Inductive
inductiveDeclNumParamsLanguage.Lean.Inductive
InductiveDeclPtrLanguage.Lean.Internal.Inductive
inductiveDeclTypesLanguage.Lean.Inductive
inductiveDeclUnivParamsLanguage.Lean.Inductive
InductiveTypeLanguage.Lean.Internal.Inductive, Language.Lean.Inductive
inductiveTypeLanguage.Lean.Inductive
inductiveTypeConstructorsLanguage.Lean.Inductive
inductiveTypeHasDepElimLanguage.Lean.Inductive
inductiveTypeNameLanguage.Lean.Inductive
InductiveTypePtrLanguage.Lean.Internal.Inductive
inductiveTypeTypeLanguage.Lean.Inductive
inferTypeLanguage.Lean.Typechecker, Language.Lean
instantiateUnivLanguage.Lean.Univ, Language.Lean
instantiateUniv2Language.Lean.Univ, Language.Lean
intOptionLanguage.Lean.Options, Language.Lean
IOStateLanguage.Lean.Internal.IOS, Language.Lean.IOS, Language.Lean
IOStateTypeLanguage.Lean.Internal.IOS, Language.Lean.IOS, Language.Lean
IOStateTypeReprLanguage.Lean.IOS, Language.Lean
isDefEqLanguage.Lean.Typechecker, Language.Lean
IsLeanValueLanguage.Lean.Internal.Exception
IsListLanguage.Lean.List, Language.Lean
IsListIsoLanguage.Lean.List, Language.Lean
ItemLanguage.Lean.List, Language.Lean