User manual improvments
- Document that you can use 'forall' in instance decls - Change the sections a bit, so that big sections (like lexically scoped type variables, pattern synonyms, implicit parameters) become more visible
Showing
This diff is collapsed.
Please register or sign in to comment