v 1.4.2
An interpreted, functional language with an expressive type system
Omega is a strict dialect of Haskell providing type-level computations and by this virtue integrates a theorem prover.
http://web.cecs.pdx.edu/~sheard/Omega/
To install Omega, paste this into the macOS Terminal after installing MacPorts
sudo port install Omega
| Installations | 0 |
| Requested Installations | 0 |