The omega package
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.
Properties
| Version | 1.5.1 |
|---|---|
| Dependencies | array, base (≥3 & <5), containers, directory, filepath, haskell98, old-time, pretty |
| License | BSD3 |
| Author | Tim Sheard, his students and heisenbug |
| Maintainer | ggreif@gmail.com |
| Stability | provisional |
| Category | Language, Compilers/Interpreters |
| Home page | http://code.google.com/p/omega/ |
| Bug tracker | http://code.google.com/p/omega/issues/ |
| Source repository | svn checkout http://omega.googlecode.com/svn/trunk/ |
| Executables | omega |
| Upload date | Wed Sep 7 16:58:46 UTC 2011 |
| Uploaded by | GaborGreif |
Downloads
- omega-1.5.1.tar.gz (Cabal source package)
- package description (included in the package)