Changes between Version 41 and Version 42 of NewPlugins
- Timestamp:
- 07/18/11 17:26:13 (22 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
NewPlugins
v41 v42 58 58 `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. 59 59 60 More details on plugins for end-users can be found in the users guide. 60 61 61 62 = The Future =
