|Version 2 (modified by 11 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.