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

Andrés Sicard-Ramírez ec3e855918 [ std-lib ] Updated submodule commit and some test cases.		6 лет назад
..
DeBruijnBase.agda	ec3e855918 [ std-lib ] Updated submodule commit and some test cases.	6 лет назад
DeBruijnExSubstSized.agda	cc0e38df20 [ #1918 ] Removed unnecessary occurrences of `no-coverage-check`.	8 лет назад
SizedNat.agda	65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types.	8 лет назад
SizedNatAnnotated.agda	65a3ba26d3 [ lib-succeed ] Added tests related to termination and sized types.	8 лет назад