search

cartazio / omega

Automatically exported from code.google.com/p/omega
Other
4 stars 0 forks source link

Document sameLabel and friends in the manual #66

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
The sameLabel function and the DiffLabel type and the non-standard LabelNotEq 
data constructor 
(with its ominous integer inside) need documenting.

Original issue reported on code.google.com by ggr...@gmail.com on 1 Aug 2009 at 2:29

GoogleCodeExporter commented 8 years ago 
well, issue 69 is gone, time to start

Original comment by ggr...@gmail.com on 26 Mar 2010 at 10:32

GoogleCodeExporter commented 8 years ago 
r335 is it.

Original comment by ggr...@gmail.com on 26 Mar 2010 at 11:30

GoogleCodeExporter commented 8 years ago 
Unfortunately this did not make it into 1.4.4

Original comment by ggr...@gmail.com on 29 Mar 2010 at 3:55