# \#cure-news **URL:** https://erlangforums.com/tag/cure-news/919.md [Latest](https://erlangforums.com/latest.md) · [Categories](https://erlangforums.com/categories.md) · [Tags](https://erlangforums.com/tags.md) --- ## [Cure gets Soundness Proof](https://erlangforums.com/t/cure-gets-soundness-proof/6041)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 0\ **Last updated:** [October 12, 2026, 6:14am UTC](https://erlangforums.com/t/cure-gets-soundness-proof/6041 "2026-10-12T06:14:48Z")
That’s a hell of a milestone! Cure got a Soundness Proof with Agda. Cure v0.35.0 marks a profound moment of mathematical rigor and developer experience for the language. In v0.34.0, Cure unified its compiler into a s… --- ## [Cure v0.35.0 - Bug fixes and monadic pipes](https://erlangforums.com/t/cure-v0-35-0-bug-fixes-and-monadic-pipes/5953)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 0\ **Last updated:** [September 17, 2026, 5:45am UTC](https://erlangforums.com/t/cure-v0-35-0-bug-fixes-and-monadic-pipes/5953 "2026-09-17T05:45:00Z")
v0.35.0 is there. This is mostly a polish/small bug fix release. Also, monadic pipes are landed. Was: ## Move amount from available balance into hold fn reserve(ledger: Ledger, id: Int, amount: Exchange.Money.Mone… --- ## [Cure v0.34.0 - Feature Parity With Idris](https://erlangforums.com/t/cure-v0-34-0-feature-parity-with-idris/5892)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 0\ **Last updated:** [August 27, 2026, 7:00pm UTC](https://erlangforums.com/t/cure-v0-34-0-feature-parity-with-idris/5892 "2026-08-27T19:00:32Z")
Cure reaches a milestone: think of it now as of Idris compiled to BEAM, with OTP primitives and fault-tolerance as first-class citizens. Kudos to Cosmo S. Harbinger (GitHub handle Qata). --- ## [Cure gets REPL, docs, formatter and more](https://erlangforums.com/t/cure-gets-repl-docs-formatter-and-more/5562)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 3\ **Last updated:** [April 23, 2026, 6:54am UTC](https://erlangforums.com/t/cure-gets-repl-docs-formatter-and-more/5562 "2026-04-23T06:54:41Z")
It’s probably a good time to try it and report issues. ❯ ./cure help Cure 0.23.0 -- Dependently-typed language for the BEAM Usage: cure \ \[options\] \[arguments\] Commands: compile \ Compile .cure… --- ## [Cure v0.14.0 - Full rewrite, stable release](https://erlangforums.com/t/cure-v0-14-0-full-rewrite-stable-release/5554)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 6\ **Last updated:** [April 16, 2026, 1:19pm UTC](https://erlangforums.com/t/cure-v0-14-0-full-rewrite-stable-release/5554 "2026-04-16T13:19:53Z")
Cure v0.14.0 is a full rewrite from scratch. It still must have some glitches and it’s far from being considered v1.0.0 but it’s definitely a huge step forward. It comes with standard lib and a bunch of examples. Check… --- ## [Cure v0.7.0 Released - with the Melquiades Operator |→](https://erlangforums.com/t/cure-v0-7-0-released-with-the-melquiades-operator/5287)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 0\ **Last updated:** [November 26, 2025, 5:53pm UTC](https://erlangforums.com/t/cure-v0-7-0-released-with-the-melquiades-operator/5287 "2025-11-26T17:53:14Z")
Version 0.7.0 has been released. Main highlights: The Melquiades Operator |→ to send asynchronous messages to another processes running in the same cluster # Send a simple message to a local GenServer # The messag… --- ## [Cure v0.6.0 released](https://erlangforums.com/t/cure-v0-6-0-released/5277)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 4\ **Last updated:** [November 26, 2025, 6:35am UTC](https://erlangforums.com/t/cure-v0-6-0-released/5277 "2025-11-26T06:35:13Z")
all examples now compile and run smoothly many minor fixes the “welcome” page Cure: A Programming Language with Dependent Types and Formal Verification for BEAM - Cure Documentation better docs much better LSP/MCP typec… --- ## [Cure v0.4.0 released](https://erlangforums.com/t/cure-v0-4-0-released/5272)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 1\ **Last updated:** [November 20, 2025, 5:32pm UTC](https://erlangforums.com/t/cure-v0-4-0-released/5272 "2025-11-20T17:32:39Z")
This “release” is fully dedicated to LSP/MCP improvements and including SMT-solver in the loop. The new example (./cure examples/smt\_error\_examples.cure) shows the SMT error messages from the compilation stage. Examples… --- ## [Cure Status Update](https://erlangforums.com/t/cure-status-update/5249)
**Author:** [@mudasobwa](https://erlangforums.com/u/mudasobwa)\ **Replies:** 6\ **Last updated:** [November 18, 2025, 12:42pm UTC](https://erlangforums.com/t/cure-status-update/5249 "2025-11-18T12:42:41Z")
I am back, working on Cure. The license (Apache2, same as Elixir) is added. To run examples do make clean && make all in the project folder and then ./run\_cure.sh examples/14\_pipe.cure. The handy compilation/running is …