hashc icon indicating copy to clipboard operation
hashc copied to clipboard

Published 20 hours ago • verified publisher icon hash-org

Complete unification procedure

Open kontheocharis opened this issue 1 year ago • 0 comments

Currently, the unification algorithm is incomplete. This should be completed, by weak head normalisation. This requires some changes to the normalisation algorithm to not "simplify too deep"

kontheocharis avatar Jun 24 '23 13:06 kontheocharis