Changes between Version 29 and Version 30 of Commentary/CodingStyle


Ignore:
Timestamp:
Apr 24, 2011 9:46:38 PM (3 years ago)
Author:
megacz
Comment:

fix typo

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/CodingStyle

    v29 v30  
    4343 * '''Detached from the code''' is the linked comment, starting with the same string `Note [Float coercions]`.  It can be long, and often includes examples. 
    4444 
    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 say 
     45The 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 
    4646{{{ 
    4747    -- See Note [Float coercions] in SpecConstr.lhs