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.2.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, pretty, time [details] |
| Tested with | ghc ==7.7.20130819 |
| 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.2/, repo type KnownRepoType SVN, tag omega-1.5.2 |
| Uploaded | by GaborGreif at 2013-08-21T10:29:10Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | omega |
| Downloads | 1939 total (9 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] Last success reported on 2015-05-20 [all 8 reports] |