This repository is not active
frex-project/multifrex
Frex-based partial evaluators for multi-sorted algebraic theories and their algebras
Idris
Frex-based partial evaluators for multi-sorted algebraic theories and their algebras
Idris
This repository is not active