Agda.TypeChecking.Tests

Tests for Agda.Utils.Permutation

Tests for Agda.TypeChecking.Telescope