News for hackers. Stuff that matters.

A comment on Vera – A language designed for machines to write. Parent comment

Re:Vera – A language designed for machines to write by 3836293648 on Thursday April 09, 2026 @06:12AM (#47701598)
Given the focus on static verification of contracts and orthogonality, surely the division operator also has one.
[ Parent | on HN ]

There are no comments on this comment yet.