kztk-m / sparcl

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/

kztk-m/sparcl Issues

Compilation error on current master branch
Closed a year ago2
Better Backends
Updated 4 years ago
Introduce Level-based Type Generalization
Closed 5 years ago1