-
bjorn@bringert.net authored
Fixed error in user's manual, gadt section, part about deriving. Data constructor type was Maybe, should be Maybe1.
d8cd5045
Fixed error in user's manual, gadt section, part about deriving. Data constructor type was Maybe, should be Maybe1.