GitHub - frex-project/multifrex: Frex-based partial evaluators for multi-sorted algebraic theories and their algebras · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
test		test
.gitignore		.gitignore
multifrex.ipkg		multifrex.ipkg
pack.toml		pack.toml

About

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

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Idris 100.0%