https://jasonmorrissc.github.io/post/prolala My take-aways from the Programming Languages and Law workshop held at POPL yesterday.

Thanks! An interesting view on a field that I was largely ignorant about, except for attending a talk on Catala last year.

One of the promised follow-ups is now online at https://jasonmorrissc.github.io/post/debugging_tax_forms_with_formal_verification/