Thanks for the previous discussions ! I've been trying to link catala-lang.org f...

		wut42 on Sept 24, 2021 \| parent \| context \| favorite \| on: Catala Lang: DSL designed for deriving implementat... Thanks for the previous discussions ! I've been trying to link catala-lang.org for a couple of months on HN but _never_ envisaged it was already linked from GitHub or papers. :)