Cure - Verification-First Programming for the BEAM (via hauleth) — discussion

#elixir #erlang #gleam