Agda.TypeChecking.Monad.Builtin

The names of built-in things