Changes between Version 29 and Version 30 of Commentary/CodingStyle
- Timestamp:
- 04/24/11 14:46:38 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/CodingStyle
v29 v30 43 43 * '''Detached from the code''' is the linked comment, starting with the same string `Note [Float coercions]`. It can be long, and often includes examples. 44 44 45 The standard format "`Note [Float coercions]`" serves like URL, to point to an out-of-line comment. Usually the target is in the same module, but not always. Sometimes we say45 The standard format "`Note [Float coercions]`" serves like an URL, to point to an out-of-line comment. Usually the target is in the same module, but not always. Sometimes we say 46 46 {{{ 47 47 -- See Note [Float coercions] in SpecConstr.lhs
