Ticket #4298 (closed task: fixed)

Opened 3 years ago

Last modified 3 years ago

[TYPO] Text.PrettyPrint.HughesPJ

Reported by: mathstuf Owned by:
Priority: normal Milestone:
Component: Documentation Version: 6.12.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

The docs contain the following relation that has to hold true for nest:

nest k (x <> y) = nest k z <> nest k y

I imagine the z on the right is meant to be an x.

Change History

Changed 3 years ago by igloo

  • status changed from new to closed
  • resolution set to fixed

Fixed, thanks!

Note: See TracTickets for help on using tickets.