BEAM Language Forums Cure Forum
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Cure gets Soundness Proof
|
|
0 | 91 | October 12, 2026 |
|
Cure v0.35.0 - Bug fixes and monadic pipes
|
|
0 | 83 | September 17, 2026 |
|
Cure v0.34.0 - Feature Parity With Idris
|
|
0 | 86 | August 27, 2026 |
|
Cure gets REPL, docs, formatter and more
|
|
3 | 166 | April 23, 2026 |
|
Cure v0.14.0 - Full rewrite, stable release
|
|
6 | 258 | April 16, 2026 |
|
Cure - a new language compiled to BEAM
|
|
21 | 1440 | November 29, 2025 |
|
Cure v0.7.0 Released - with the Melquiades Operator |→
|
|
0 | 127 | November 26, 2025 |
|
Cure v0.6.0 released
|
|
4 | 163 | November 26, 2025 |
|
What are the benefits of FSMs and SMT-validation?
|
|
2 | 201 | November 22, 2025 |
|
Cure v0.4.0 released
|
|
1 | 111 | November 20, 2025 |
|
Cure Status Update
|
|
6 | 235 | November 18, 2025 |