1 Ideas

Dominic Orchard edited this page 2017-09-11 17:39:12 +01:00

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