Brendan Zabarauskas@brendanzab·Feb 24, 2021This poster showing the grammar of Pascal in colourful railroad diagrams is rather glorious! Found in “50 Years of Pascal”: https://cacm.acm.org/magazines/2021/3/250705-50-years-of-pascal/fulltext…read image descriptionALT61987
Brendan Zabarauskas@brendanzabReplying to @brendanzab and @guhouAlso, can somebody come up with 'railroad diagrams' for inference rules?2:26 AM · Feb 26, 2021·Twitter Web App2 Retweets1 Quote Tweet2 Likes
Brendan Zabarauskas@brendanzab·Feb 26, 2021Like this: https://en.wikipedia.org/wiki/Natural_deduction… - they are used for specifying type systems.en.wikipedia.orgNatural deduction - Wikipedia12