fisakov / mps-unification

Implementation of syntactic unification algorithm on term graphs

Retired project

This project is retired. All contents has been merged into this project.