sqrt 0
sqrt 1
sqrt 4
sqrt 5
sqrt 8
sqrt 20
sqrt 27607486371775073359
sqrt 89972323943429722781
sqrt (2^5000 + 1)
abs 0
abs 1
abs (-3)
abs (5 - 6)
abs (2/3)
abs (-2/3)
abs (2/(-3))
-- abs (2 : Z8)
-3!
((4!)!)!
let x = 3 in -x^2
:type -~
:type (-~ 3)
:type (-~ (3 : N))
:type (-~ (3 : F))
-- :type (-~ (3 : Z5))
-- (-~ (3 : Z5))