Up – Package index » lambdapi » Sources » lambdapi.core » version.ml

Source file `version.ml`

lambdapi
- CHANGES
- README
- Library lambdapi.common
  - Common
- Library lambdapi.core
  - Core
- Library lambdapi.export
  - Export
- Library lambdapi.handle
  - Handle
- Library lambdapi.lplib
  - Lplib
- Library lambdapi.lsp
  - Lsp
- Library lambdapi.parsing
  - Parsing
- Library lambdapi.pure
  - Pure
- Library lambdapi.tool
  - Tool
- Sources
  - lambdapi.common
  - lambdapi.core
  - lambdapi.export
  - lambdapi.handle
  - lambdapi.lplib
  - lambdapi.lsp
  - lambdapi.parsing
  - lambdapi.pure
    - pure.ml
  - lambdapi.tool

1
2
3
4
(** Version informations. *)

(** [version] gives a version description. *)
let version : string = "2.2.1"