red.specs-public
red.specs-public copied to clipboard
Formalized description of Red: lexical, syntactic and semantic
Results
2
red.specs-public issues
Sort by
recently updated
recently updated
newest added
@meijeru I think to increase credibility of a **language** and the overall understanding, more formalism would undoubtedly be beneficial. Recently I came across [Call By Push Value](https://www.cs.bham.ac.uk/~pbl/cbpv.html ) which seems...
Here are some of my notes, which I gathered as a newcomer to Re(d)bol world. There are many mistakes and I expect the experienced Re(d)bol community to correct them. Some...