chr -package:Agda package:rel8

Corresponds to the chr function.