elpinal / focused-modules

A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
10Updated 4 years ago

Related projects

Alternatives and complementary repositories for focused-modules