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
Reset

9 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