Agda.TypeChecking.Rules.Builtin

Checking builtin pragmas