1. 4
    How to make your papers run: Executable formal semantics for your language (2019) plt tweag.io
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 1
      5d22b avatar 5d22b 5 months ago

      I came to this from https://lobste.rs/s/h4ij6z/use_prolog_for_developing_new#c_ksodmq.