We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Here are various ideas for things to add to Gram. Please feel free to contribute.
Tracking pattern matching / strictness / deconstructors as a coeffect modality.
Dependent types
Implementing the graded distributive elements of: http://dl.acm.org/citation.cfm?doid=2951913.2951939