File: expected

package info (click to toggle)

agda-stdlib 2.1-4

file content (6 lines) | stat: -rw-r--r-- 102 bytes

example: 3 + 2 ≡ 5
example: 3 + -3 ≡ 0
gcd(-9,15) ≡ 3
lcm(-9,15) ≡ 45
A char: c
A float: 3.14