2 lines
69 B
Text
2 lines
69 B
Text
|
(forall (var body) (@ var body) (let var genslop (lambda var body)))
|