This programming language may be used to instruct a computer to perform a task.
If you know Omega, please write code for some of the tasks not implemented in Omega.
There are at least two programming languages called Omega!
Omegais a cross between a purely functional programming language and a theorem prover, conceived and implemented by Tim Sheard and his students. The syntax is borrowed from Haskell and has been moderately extended.