caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ ce9b4068190f6b5b4b92b9deb3fdcace0c6345ea

Nils Anders Danielsson edd8334381 [ #5427 ] Removed support for subtyping for erasure and irrelevance.		3 年之前
..
fail	767eecdd60 Re #5549: latex-html-test: sanitize Agda output (Windows compatibility)	3 年之前
succeed	edd8334381 [ #5427 ] Removed support for subtyping for erasure and irrelevance.	3 年之前
user-manual	94cfe2ef3e LaTeX output: preserve spaces in comments. (#5320)	3 年之前
Tests.hs	8ca2402d1f Testsuite: use Text.words consistently when diffing	3 年之前