x :Y
is shorthand for x [Y 'x]
.
Definition of functions:
A B :*
->
function :*
(f :function x :A -> apply :B) -- application
((x :A -> y :B) -> -- abstraction
f :function
import Data.List | |
import qualified Data.Set as Set | |
import Criterion.Main | |
import System.Random | |
itemsEqualOnDiff :: (Eq a) => [a] -> [a] -> Bool | |
itemsEqualOnDiff a b = null $ absDiff a b | |
absDiff :: (Eq a) => [a] -> [a] -> [a] | |
absDiff [] [] = [] |
x :Y
is shorthand for x [Y 'x]
.
Definition of functions:
A B :*
->
function :*
(f :function x :A -> apply :B) -- application
((x :A -> y :B) -> -- abstraction
f :function