2006-08-06から1日間の記事一覧
eq f = \x -> \y -> f x == f yの body を point-free に書き直したい。しかし思い付かない。Point-free にしたところで別に意味は無いけど…
car = fst cadr = snd
eq f = \x -> \y -> f x == f yの body を point-free に書き直したい。しかし思い付かない。Point-free にしたところで別に意味は無いけど…
car = fst cadr = snd