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