Skip to content

Sarek/KiTES

About

A experimentation lab for term-rewrite systems

Stars

Watchers

Forks

Packages

No packages published

Languages