mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-17 17:09:35 +03:00
0352dca57a
Renamed old "issue133" to "trac133", indicating that it uses a different numbering system.
4 lines
79 B
Plaintext
4 lines
79 B
Plaintext
gcd : [8] -> [8] -> [8]
|
|
gcd a b = if(b == 0) then a
|
|
else gcd b (a%b)
|