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 GitHub9 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
15 | 13746 | 2024-10-14 16:27:30 | 0:02:01 | 1483 | failed install-port |
14.arm64 | 14123 | 2024-01-27 7:16:53 | 0:01:09 | 4781 | failed install-port |
14 | 26399 | 2024-01-14 2:02:55 | 0:03:06 | 4400 | failed install-port |
13.arm64 | 11836 | 2023-03-09 9:53:17 | 0:00:54 | 4244 | failed install-port |
13 | 17638 | 2023-01-19 16:18:46 | 0:02:13 | 2487 | failed install-port |
12 | 15396 | 2022-01-17 0:51:50 | 0:02:07 | 3571 | failed install-port |
12.arm64 | 9582 | 2021-11-10 6:45:17 | 0:00:01 | 709 | failed install-dependencies |
11.arm64 | 13586 | 2021-03-18 1:15:19 | 0:00:02 | 3828 | failed install-dependencies |
10.15 | 18960 | 2020-01-04 9:15:52 | 0:02:29 | 1829 | failed install-port |