transformation of point-free expressions

16 Feb
2005
16 Feb
'05
4:10 a.m.
G'day ye all, is there an *elegant* way to transform ( (.) (flip (.) (flip ($)))) . flip (.) . flip (.) to the more compact form flip (.) . flip ? And more general, is there an algorithm to simplify such expressions (other than take a piece of paper, apply it to the appropriate number of arguments and see what you get)? Thanks in advance, Daniel
7399
Age (days ago)
7399
Last active (days ago)
0 comments
1 participants
participants (1)
-
Daniel Fischer