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

Index - W

whnfLanguage.Lean.Typechecker, Language.Lean
withBufferedIOStateLanguage.Lean.Internal.IOS
withCertDeclLanguage.Lean.Internal.Decl
withConstraintSeqLanguage.Lean.Internal.Typechecker
withDeclLanguage.Lean.Internal.Decl
withEnvLanguage.Lean.Internal.Decl
withExprLanguage.Lean.Internal.Expr
withInductiveDeclLanguage.Lean.Internal.Inductive
withInductiveTypeLanguage.Lean.Internal.Inductive
withIOStateLanguage.Lean.Internal.IOS
withLeanStringPtrLanguage.Lean.Internal.String
withLeanTextPtrLanguage.Lean.Internal.String
withListExprLanguage.Lean.Internal.Expr
withListInductiveTypeLanguage.Lean.Internal.Inductive
withListNameLanguage.Lean.Internal.Name
withListUnivLanguage.Lean.Internal.Univ
withMacroDefLanguage.Lean.Internal.Expr
withNameLanguage.Lean.Internal.Name
withOptionsLanguage.Lean.Internal.Options
withSomeIOStateLanguage.Lean.Internal.IOS
withTypecheckerLanguage.Lean.Internal.Typechecker
withUnivLanguage.Lean.Internal.Univ