omega: A purely functional programming language and a proof system
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.
Downloads
- omega-1.5.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 1.5.1, 1.5.2 |
|---|---|
| Dependencies | array, base (>=3 && <5), containers, directory, filepath, haskell98, old-time, pretty [details] |
| Tested with | ghc ==7.0.3 |
| License | BSD-3-Clause |
| Author | Tim Sheard, his students and heisenbug |
| Maintainer | ggreif@gmail.com |
| Category | Language, Compilers/Interpreters |
| Home page | http://code.google.com/p/omega/ |
| Bug tracker | http://code.google.com/p/omega/issues/ |
| Source repo | head: svn checkout http://omega.googlecode.com/svn/trunk/ this: http://omega.googlecode.com/svn/tags/omega-1.5.1/, repo type KnownRepoType SVN, tag omega-1.5.1 |
| Uploaded | by GaborGreif at 2011-09-07T16:58:46Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | omega |
| Downloads | 1956 total (0 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-12-27 [all 7 reports] |