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

Andrea Vezzosi 982e18cdcb [ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)		3 年之前
..
Chain.agda	3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory	13 年之前
CwF.agda	dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files.	10 年之前
Setoid.agda	982e18cdcb [ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)	3 年之前