mirror of
https://github.com/granule-project/granule.git
synced 2024-08-16 15:40:53 +03:00
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