Up – Package index » acgtk » Library acgtkLib.logic » Logic » Lambda

Module `Logic.Lambda`Source

acgtk
- CHANGES
- LICENSE
- README
- Library acgtkLib.acgData
  - AcgData
- Library acgtkLib.datalogLib
  - DatalogLib
- Library acgtkLib.logic
  - Logic
- Library acgtkLib.utilsLib
  - UtilsLib
- Sources

Sourcemodule Lambda : sig ... end