Submissions from github.com/agda

		Category Theory Library for Agda (github.com/agda)
		3 points by presheaf on Nov 30, 2022 \| past
		Agda2hs: Verified and readable Haskell code from Agda (github.com/agda)
		5 points by nequo on Nov 9, 2022 \| past
		Integer overflow causes Russel's paradox (github.com/agda)
		1 point by juxtapose on Dec 23, 2021 \| past
		Agda 2.4.2 (github.com/agda)
		5 points by lelf on Sept 10, 2014 \| past