Exercise-ch5: Difference between revisions
Jump to navigation
Jump to search
Line 11: | Line 11: | ||
|| The functor ('''hobbit''') must precede the argument ('''frodo'''). | || The functor ('''hobbit''') must precede the argument ('''frodo'''). | ||
+ '''hobbit'''•'''frodo''' | + '''hobbit'''•'''frodo''' | ||
{Notation from chapter 2: '''walk'''('''frodo''')<br /> | |||
New notation:} | |||
- '''walk'''•'''frodo''' | |||
+ ('''walk'''•''e'')•'''frodo''' | |||
- ('''walk'''•'''frodo''')•''e'' | |||
{Notation from chapter 2: '''help'''('''aragorn''','''frodo''') | {Notation from chapter 2: '''help'''('''aragorn''','''frodo''') | ||
New notation:} | New notation:} | ||
+ (('''help'''• ''e'')•'''frodo''')•'''aragorn''' | + (('''help'''•''e'')•'''frodo''')•'''aragorn''' | ||
+ (('''help'''• ''e'')•'''aragorn''')•'''frodo''' | + (('''help'''•''e'')•'''aragorn''')•'''frodo''' | ||
+ (('''help'''• '''aragorn''')•'''frodo''')•''e'' | + (('''help'''•'''aragorn''')•'''frodo''')•''e'' | ||
</quiz> | </quiz> |
Revision as of 22:39, 15 March 2013
Exercises for chapter 5: Simple LRS
New notation