cure-news
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Cure gets Soundness Proof |
|
0 | 46 | October 12, 2026 |
| Cure v0.35.0 - Bug fixes and monadic pipes |
|
0 | 80 | September 17, 2026 |
| Cure v0.34.0 - Feature Parity With Idris |
|
0 | 81 | August 27, 2026 |
| Cure gets REPL, docs, formatter and more |
|
3 | 165 | April 23, 2026 |
| Cure v0.14.0 - Full rewrite, stable release |
|
6 | 251 | April 16, 2026 |
| Cure v0.7.0 Released - with the Melquiades Operator |→ |
|
0 | 127 | November 26, 2025 |
| Cure v0.6.0 released |
|
4 | 159 | November 26, 2025 |
| Cure v0.4.0 released |
|
1 | 108 | November 20, 2025 |
| Cure Status Update |
|
6 | 232 | November 18, 2025 |