Get the latest tech news

Erlang Meets Idris: Cure Programming Language

Cure v0.2.0: A strongly-typed, dependently-typed programming language for the BEAM with built-in FSMs, SMT verification, and 12 standard library modules

None

Get the Android app

Or read this on Hacker News

Related news:

Gleescript – Bundle Gleam-on-Erlang project into an executable file

Pearl – An Erlang lexer and syntax highlighter in Gleam

Supporting the BEAM community with free CI/CD security audits

« Ventures Platform, one of Africa’s most active early-stage investors, has raised another $64M

Noble Audio's latest earbuds have a four-driver setup and a solid wood design »