isDigit package:Agda