Term Rewriting Systems infrastructure
-
Updated
Mar 1, 2023 - TypeScript
Term Rewriting Systems infrastructure
Add a description, image, and links to the girafe topic page so that developers can more easily learn about it.
To associate your repository with the girafe topic, visit your repo's landing page and select "manage topics."