Agda.TypeChecking.Telescope

rename

renaming

renamingR

flattenTel

reorderTel

unflattenTel

teleNames

teleArgNames

teleArgs

data SplitTel

splitTelescope

telView

telViewUpTo

piApplyM