@hackage / omega

A purely functional programming language and a proof system

Latest1.5.2

Dependencies

executable:omega (7 dependencies)

@hackage / base Core data structures and operations
- Version: >=3 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / time A time library
- Version:
- License: BSD-2-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause