data Risk a b = Loss a | Gain b
So to everyone who truly believes that “Dependent Haskell” won’t go the way of the Fifth Generation Computer Systems project or the BitC programming language:
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Status of dependent types?
|
21 | 4278 | June 7, 2023 | |
|
Serokell’s Work on GHC: Dependent Types, Part 4
|
5 | 1122 | October 27, 2024 | |
|
Daily updates on Dependent Haskell
|
13 | 2289 | December 9, 2022 | |
| History of DH (Dependent Types in Haskell) contributions | 3 | 763 | February 28, 2025 | |
| Hasura migrating to Rust? | 113 | 11674 | July 27, 2023 |