planguage

4 ms·

1. 1.▲
   by planguage 4y ago

   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.
2. 2.▲
   by planguage 4y ago

   https://p-org.github.io/P/tutsoutline/ Simple Client Server example: https://p-org.github.io/P/tutorial/clientserver/
3. 3.▲
   by planguage 4y ago

   There was a talk on P at StrangeLoop as well: https://www.youtube.com/watch?v=5YjsSDDWFDY