mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-16 11:22:33 +03:00
7 lines
299 B
Plaintext
7 lines
299 B
Plaintext
f 0 where f x = if x == 0 then 0x0 else x ^ f 0
|
|
f 0 where f x = if x == 0 then 0x0 else x + f 0
|
|
f 0 where f x = if x == 0 then 0x0 else x << f 0
|
|
f 0 where f x = if x == 0 then 0x0 else x <<< f 0
|
|
f 0 where f x = if x == 0 then 0x0 else [x] @ f 0
|
|
f 0 where f x = if x == 0 then 0x0 else [x ...] @ f 0
|