This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
BSD-3-Clause licensed by Tim Sheard, his students and heisenbug
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.