2 ms·
Try to implement the unification algorithm yourself. Example https://unify.ly5.ch/ https://unify.ly5.ch/ (Caveat: it's an old implementation)
by _nalply 10y ago
Try to implement the unification algorithm yourself.
Example https://unify.ly5.ch/ https://unify.ly5.ch/ (Caveat: it's an old implementation)