Re:P Language
by nine_k on Friday January 06, 2023 @12:59PM
(#34278374)
I don't remember seeing it back then. I hope that it has somehow improved during the 6 years that passed.
[ Parent
| on HN ]
Yes, P has been updated a lot in the last 6 years. Much better documentation and compiler. There is going to be a new release in a couple of months with a verifier as well as a way to check P specifications on implementation.