Omega

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 in macOS terminal after installing MacPorts

sudo port install Omega

Add to my watchlist

Installations 0
Requested Installations 0