Skip to content
Snippets Groups Projects
Commit 3c5619a5 authored by Robin Steiger's avatar Robin Steiger
Browse files

The unifier now translates terms (internal representation) back to expressions... 

The unifier now translates terms (internal representation) back to expressions (pure Scala) and returns the substitution table.
parent 592a7a0b
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment