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
2

Corresponding tweet for this thread:

Share link for this tweet.

2 Likes
3

I say “Mag … ma” like Dr. Evil in my head.

2 Likes
4

For those curious, it seems Magma is just a ‘research project’ first of all, and it’s “gradually verifiable”, which doesn’t seem like very verified to me but eh, lol. Idris is generally the main dependently typed language people use nowadays if anyone’s curious in that.

(I’m surprised the readme doesn’t mention Idris?)

1 Like