diff --git a/tests/qmachine.shen b/tests/qmachine.shen index 4fe0725..79635f6 100644 --- a/tests/qmachine.shen +++ b/tests/qmachine.shen @@ -48,7 +48,7 @@ {A --> B --> B} X Y -> Y) -(define filter +(define pfilter {(progression A) --> (A --> boolean) --> (list A)} Progression P -> (super Progression (/. X (if (P X) [X] [])) append []))