Re:Bend – A language that blocks AI mistakes via proof, on C...
by developedby on Thursday September 17, 2026 @06:22PM
(#49747482)
Old repo can be accessed here https://github.com/HigherOrderCO/Bend1 . I guess we could have it as a branch on the bend2 repo
[ Parent
| on HN ]
There are no comments on this comment yet.