Changes between Version 15 and Version 16 of Plugins


Ignore:
Timestamp:
Jul 31, 2012 9:15:42 AM (21 months ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Plugins

    v15 v16  
    1212 
    1313'''Here be dragons! ''' This is just the result of my very preliminary thinking about how we might implement this in GHC. I am by no means an expert and so this section is certainly neither authoritative or correct! - Max Bolingbroke, March 08 
     14 
     15Plugins as implemented are discussed on NewPlugins. 
    1416 
    1517=== General Design Goals ===