Agda-2.3.2.2: examples/outdated-and-incorrect/Alonzo/TestInt.agda
module TestInt where open import PreludeInt open import PreludeShow mainS = showInt result where result = (mod (((int 2) + (int 2)) * (int 5)) (int 3))
module TestInt where open import PreludeInt open import PreludeShow mainS = showInt result where result = (mod (((int 2) + (int 2)) * (int 5)) (int 3))