Omega (lang/Omega) Add to my watchlist
An interpreted, functional language with an expressive type systemOmega 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, 18 hours ago