ATS is great, I’ve used ATS1 and ATS2 quite a bit and it worked well. Unfortunat...

		doublec on Sept 4, 2023 \| parent \| context \| favorite \| on: A Gentle Introduction to Liquid Types ATS is great, I’ve used ATS1 and ATS2 quite a bit and it worked well. Unfortunately it suffers a bit from the “rewrite every few years” as research directions change.