This poster showing the grammar of Pascal in colourful railroad diagrams is rather glorious! Found in “50 Years of Pascal”: cacm.acm.org/magazines/2021
read image description
ALT
6
19
87
Conversation
Also, can somebody come up with 'railroad diagrams' for inference rules?
1
3
2
how do they look?
1
Show replies
Replying to
I kinda wanna make some kind of Liquid Pascal mashup with SMT contracts/refinement types
1
2
Check out “Refinement Types: A Tutorial” by and arxiv.org/abs/2010.07763 if you haven't already! Code is here: github.com/ranjitjhala/sp (I need to get around to this because I hope to add them to Fathom 😅)
1
2
Show replies