Giters

mzuber / scala-unify

Generic unification of first-order terms.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

scala-unify

Generic unification of first-order terms.

About

Generic unification of first-order terms.

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

Languages

Language:Scala 100.0%