Spine – A language where you describe the system and the compiler verifies it

 (spine-lang.org)

2 points | by NielsHoogeveen 2 days ago ago

1 comments