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

(spine-lang.org)

2 points | by NielsHoogeveen 6 hours ago ago

1 comments