red.specs-public icon indicating copy to clipboard operation
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...