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
Statistics for selected duration
2024-Oct-26 to 2024-Nov-25
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.