Changes between Version 41 and Version 42 of NewPlugins


Ignore:
Timestamp:
Jul 19, 2011 12:26:13 AM (3 years ago)
Author:
thoughtpolice
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewPlugins

    v41 v42  
    5858`bindsOnlyPass` is a function that merely lifts a function over binders to a function over ModGuts. It's the simple case where nothing else from the `ModGuts` is needed. 
    5959 
     60More details on plugins for end-users can be found in the users guide. 
    6061 
    6162= The Future =