Index - F
forEnvDecl_ | Language.Lean.Env, Language.Lean |
forEnvUniv_ | Language.Lean.Env, Language.Lean |
fromList | Language.Lean.List, Language.Lean |
fromListDefault | Language.Lean.List, Language.Lean |
fromListN | Language.Lean.List, Language.Lean |
lean-bindings-0.1: Haskell bindings to the Lean Theorem Prover.