Submissions from type-driven.org.uk

		Linearity and Erasure in Idris 2 (2020) (type-driven.org.uk)
		2 points by whereistimbo on March 24, 2023 \| past
		Why is Idris 2 so much faster than Idris 1? (2020) (type-driven.org.uk)
		3 points by whereistimbo on March 23, 2023 \| past
		Idris 2: Quantitative Type Theory in Practice (type-driven.org.uk)
		2 points by matt_d on April 1, 2021 \| past
		Why is Idris 2 so much faster than Idris 1? (type-driven.org.uk)
		282 points by culturedsystems on May 25, 2020 \| past \| 81 comments
		Idris 2: Quantitative Type Theory in Action (type-driven.org.uk)
		2 points by matt_d on May 8, 2020 \| past
		Idris 2: Quantitative Type Theory in Action – Idris2.pdf (type-driven.org.uk)
		4 points by EvgeniyZh on Feb 27, 2020 \| past
		Linearity and Erasure in Idris 2 – Edwin Brady (type-driven.org.uk)
		4 points by EvgeniyZh on Jan 10, 2020 \| past