This programming language may be used to instruct a computer to perform a task.
There are at least two programming languages called Omega!
Omega is 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.
This category has the following 3 subcategories, out of 3 total.
Pages in category "Omega"
This category contains only the following page.