It's a quick read. Only 2 pages. Not particularly dense and accessible to most p...

		sn9 on July 21, 2017 \| parent \| context \| favorite \| on: Coq-based synthesis of Scala programs which are co... It's a quick read. Only 2 pages. Not particularly dense and accessible to most programmers.