版本-2-1-2

此版本引入了...的语法具有条款：

过滤器：｛A:Set｝->（A->Bool）->列表A->列表A过滤器p[]=[]使用px过滤p（x:：xs）…|true=x:：filter p xs…|false=筛选pxs

现在等价于

过滤器：{A:Set}->（A->Bool）->列表A->List A滤波器p[]=[]使用px过滤p（x:：xs）过滤器p（x:：xs）| true=x:：filter p xs过滤器p（x:：xs）|false=过滤器p xs