Unification pretty print

ssm-lang / sslang

A language built atop the Sparse Synchronous Model

BSD 3-Clause "New" or "Revised" License

18 stars 0 forks source link

Closed jar2333 closed 1 year ago

jar2333 commented 1 year ago

Prints results of unification algorithm, let me know if any refactors are needed.