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