Agda.TypeChecking.Tests
prop_telToListInv
prop_flattenTelScope
prop_flattenTelInv
prop_reorderTelStable
prop_splitTelescopeScope
prop_splitTelescopePermScope
tests