Skip to content

Instantly share code, notes, and snippets.

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