to the type "check" loop
which normalizes the type of the expression entered.
Several minor bugs have also been fixed.
April 14, 2010. Version 1.4.5
A very minor update to version 1.4.4. Includes a fix
to the "lift" function, and updates to the manual that
were mistakenly not included in version 1.4.4.
March 28, 2010. Version 1.4.4
Bug fixes. Lots of work on better error messages. An improved
module system that doesn't reload modules already loaded.
A newstyle of syntactic extension that allows more than one
style per datatype.
July 22, 2008. Version 1.4.3
Many bug fixes. A more robust implementation of level polymorphism.
A new set of example programs. This version of Omega was prepared for, and used by
Summer School on Logic and Theorem Proving in Programming Languages
in Eugene in July 2008.
June 9, 2007. Version 1.4.2.
Updated manual with new sections on level-polymorphism, use of Syntactic
Extension, and Labels.
New operations on Labels including dynamic generation and equality checks.
Drastic changes to the implementation of syntactic extensions.
If you use this feature, read the manual. Syntactic Extensions can now
be imported (see the manual for details). The #(n+1) syntax
has changed. A large restructuring of the parser, making it easier
to maintain. Many, many bug fixs (Thank you, Gabor Greif for the bug reports)!
A slighlty revised version, posted June 12, 2007.
April 12, 2007. Version 1.4.1.
Bug fixes, and truly level-polymorphic datatypes.
Feb. 27, 2007. Version 1.4.
A completely rewritten constraint solving mechanism.
The "theorem" declaration, rewriting, backchaining, and refinement lemmas.
Syntactic extension. Improved module system. Tracing directives, and
bounds setting directives. Many bug fixes and improved error messages.
Nov. 13, 2006. Version 1.3.
Many bug fixes. New way to handle type-functions using narrowing.
New implementation of discharging static constraints.
Much improved error messages.
Nov. 7, 2005. Version 1.2.
Many bug fixes, the command line editor (many thanks
to Nils Anders Danielsson), unreachable clauses. This
and succeeding versions requires GHC 6.4.1 or better
June 23, 2005. Version 1.1 (revision 1).
No new features, just bug fixes over version 1.1.
May 23, 2005.
Version 1.1 released. Includes better error messages,
Anonymous existential types. Datatypes as propositions and static constraints.
March 3, 2005.
First public release of Omega. Version 1.00.
Download the appropriate archive, then follow the installation notes below:
- Version 1.5
- Version 1.4.6 Omega Version 1.4.6 (zip file) Compiles with Haskell Platform 2009.2.0.2
- Version 1.4.5 Omega Version 1.4.5 (zip file) Compiles with Haskell Platform 2009.2.0.2
- Version 1.4.4 Omega Version 1.4.4 (zip file) Compiles with Haskell Platform 2009.2.0.2
- Version 1.4.3 Omega Version 1.4.3 (zip file) Compiles with GHC 6.8.3
- Version 1.4.2 Omega Version 1.4.2 (zip file). Requires GHC 6.4.1 or higher to compile.
- Version 1.4.1 Omega Version 1.4.1 (zip file). Requires GHC 6.4.1 or higher to compile.
- Version 1.4 Omega Version 1.4 (zip file). Requires GHC 6.4.1 or higher to compile.
- Version 1.3 Omega Version 1.3 (zip file). Requires GHC 6.4.1 or higher to compile.
- Version 1.2 Omega Version 1.2 (zip file). Requires GHC 6.4.1 to compile.
- Version 1.11 Omega Version 1.1 revision 1 (zip file)
- Version 1.1 Omega Version 1.1 (zip file)
- Version 1.0 Omega Version 1.0 (zip file)
- Install the appropriate version of GHC compiler.
- Download the distribution file.
- Unzip the distribution. You will get a Omega directory. Other directories include the Omega manual for that version, examples, etc.
- Go to this directory. You should have the source files to Omega.
- You will find the license in the file LICENSE.txt. Read it to be sure you agree to the conditions of distribution.
- type "make all" to start the GHC compilation process. The omega interpreter will be placed in the file omega.exe
For more information about Omega visit Tim Sheard's web page
This material is based upon work supported by the National Science
Foundation under Grant No. 0098126 and 0613969.
Any opinions, findings, and conclusions or recommendations
expressed in this material are those of the author(s) and do not
necessarily reflect the views of the National Science Foundation.