mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-17 04:44:39 +03:00
20 lines
328 B
Plaintext
20 lines
328 B
Plaintext
|
Loading module Cryptol
|
||
|
|
{a, b} a == min (1 + a) a
|
||
|
|
{a, b} True
|
||
|
|
(s
|
||
|
|
where
|
||
|
|
s x =
|
||
|
|
(bs
|
||
|
|
where
|
||
|
|
bs = [complement b | b <- [complement x] # bs
|
||
|
|
| _ <- bs]
|
||
|
|
)
|
||
|
|
) : {a, b} b -> [a]b
|
||
|
|
{a, b} a == a
|
||
|
|
(bs
|
||
|
|
where
|
||
|
|
bs = [b | b <- bs]
|
||
|
|
) : {a, b} [a]b
|
||
|
|
1 == 1
|
||
|
|
[b | b <- [True]] : [1]
|