mirror of
https://github.com/circify/circ.git
synced 2026-05-14 03:00:33 -04:00
11 lines
185 B
Plaintext
11 lines
185 B
Plaintext
(set_default_modulus 52435875175126190479447740508185965837690552500527637822603658699938581184513
|
|
(let (
|
|
(p.x #f1)
|
|
(p.y #f1)
|
|
(t.0 #f3)
|
|
(t.1 #f4)
|
|
) false ; ignored
|
|
))
|
|
|
|
|