Alexey Sedunov 7dd5a2cfa4 Add tests for 'if-when' and 'when' transformations

2013-05-15 12:57:57 +04:00

..

folding

Replace fold/unfold intentions with a set of specialized ones

2013-05-15 12:57:41 +04:00

ifWhen

Add tests for 'if-when' and 'when' transformations

2013-05-15 12:57:57 +04:00

unfolding

Add tests for unfolding to 'when'

2013-05-15 12:57:42 +04:00

when

Add tests for 'if-when' and 'when' transformations

2013-05-15 12:57:57 +04:00