Magma: A dependently-typed language intended to make provably correct code possible for working software engineers

General Developer Forum In The News
,
1

A dependently-typed language intended to make provably correct code possible for working software engineers.

2 Likes