|Version 2 (modified by john@…, 9 years ago) (diff)|
Linear Implicit Parameters
- Description from the GHC user's guide.
- No need for this feature to be tied to the use of ImplicitParameters? and its implications. A proposal based on normal parameters should be considered.