mirror of
https://github.com/circify/circ.git
synced 2026-05-14 03:00:33 -04:00
7 lines
140 B
Plaintext
7 lines
140 B
Plaintext
(set_default_modulus 52435875175126190479447740508185965837690552500527637822603658699938581184513
|
|
(let (
|
|
(x #f1)
|
|
) false ; ignored
|
|
))
|
|
|