Opened 7 years ago

Closed 7 years ago

#4298 closed task (fixed)

[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 Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 (1)

comment:1 Changed 7 years ago by igloo

Resolution: fixed
Status: newclosed

Fixed, thanks!

Note: See TracTickets for help on using tickets.