Agda.TypeChecking.Tests
Tests for
Agda.Utils.Permutation
Tests for
Agda.TypeChecking.Telescope
prop_telToListInv
prop_flattenTelScope
prop_flattenTelInv
prop_reorderTelStable
prop_splitTelescopeScope
prop_splitTelescopePermScope
tests