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 (6 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] |