@hackage omega1.5.2
A purely functional programming language and a proof system
Categories
License
BSD-3-Clause
Maintainer
ggreif@gmail.com
Links
Versions
Installation
Dependencies (0)
Dependents (1)
@hackage/acme-everything
Omega is a purely functional programming language (like Haskell) and it also enables built-in proofs about program correctness employing the Curry-Howard correspondence. Powerful metaprogramming facilities and extensible syntax for data make programming a less verbose experience.