Added non-lazy implementation of ∩ for lists.
treebd709758a06b21e6d6b1cc80cb771c5a806e3582
-rw-r--r-- 342 README
drwxr-xr-x - bachelor-cs