Omega (lang/Omega) Add to my watchlist

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.

Version: 1.4.2 License: unknown GitHub
Maintainers ggreif (GitHub handle not provided)
Categories lang
Homepage http://web.cecs.pdx.edu/~sheard/Omega/
Platforms darwin freebsd
Variants -

"Omega" depends on

lib (1)
extract (1)
build (2)

Ports that depend on "Omega"

No ports


Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: cannot check if Omega was updated (regex didn't match)

last updated: 1 day, 2 hours ago