blob: 37bbb66bb11a1bb2069c74f532a89f167a727596 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
:import std/Combinator .
:import std/Number .
gcd y [[[=?0 1 (2 0 (1 % 0))]]]
:test ((gcd (+2) (+4)) =? (+2)) ([[1]])
:test ((gcd (+10) (+5)) =? (+5)) ([[1]])
:test ((gcd (+3) (+8)) =? (+1)) ([[1]])
|
