| Copyright | (c) Galois Inc, 2015 |
|---|---|
| License | Apache-2 |
| Maintainer | jhendrix@galois.com, lcasburn@galois.com |
| Safe Haskell | Safe |
| Language | Haskell98 |
Language.Lean
Description
This module exports the main components of the Lean interface.
Documentation
module Language.Lean.Decl
module Language.Lean.Env
module Language.Lean.Exception
module Language.Lean.Expr
module Language.Lean.IOS
module Language.Lean.List
module Language.Lean.Module
module Language.Lean.Name
module Language.Lean.Options
module Language.Lean.Typechecker
module Language.Lean.Univ