Agda.TypeChecking.Conversion

Sorts