frex-project / multifrex

Frex-based partial evaluators for multi-sorted algebraic theories and their algebras

Geek Repo

Github PK Tool