I have added #ATS to the languages for which there is a solution to the #RosettaCode #ModularArithmetic task:
Modular arithmetic - Rosetta Code https://rosettacode.org/wiki/Modular_arithmetic#ATS
This task was practically tailor-made for #Ada. :) But ATS lets us easily extend the language to handle modular numbers.
#ATSlang #FunctionalProgramming #Proofs
Update: After reading the task language again, I added some more commentary, to point out what I see as a flaw in the task.