Changes between Version 17 and Version 18 of ReplacingGMPNotes/TheCurrentGMPImplementation


Ignore:
Timestamp:
Jan 15, 2007 4:27:40 AM (7 years ago)
Author:
p_tanski
Comment:

missing ending </font> delimiter

Legend:

Unmodified
Added
Removed
Modified
  • ReplacingGMPNotes/TheCurrentGMPImplementation

    v17 v18  
    119119<pre> 
    120120  (in GHCi) 
    121   <font color=DarkOrchid>> <font color=Blue>let</font> <font color=Black>m_integer</font> <font color=Blue>=</font> <font color=DodgerBlue>123456789</font> <font color=Blue>::</font> <font color=Green>Integer</font> 
     121  <font color=DarkOrchid>></font> <font color=Blue>let</font> <font color=Black>m_integer</font> <font color=Blue>=</font> <font color=DodgerBlue>123456789</font> <font color=Blue>::</font> <font color=Green>Integer</font> 
    122122  <font color=DarkOrchid>></font> <font color=Blue>let</font> <font color=Black>n_integer</font> <font color=Blue>=</font> <font color=Black>m_integer</font> <font color=Blue>+</font> <font color=Black>m_integer</font> 
    123123  <font color=Red>-- this will show o.k., but the implementation involves *always* making extra temporaries</font>