repos / cl-unification / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Fixed a couple of snags. APPLY-SUBSTITUTION was not applied
authormantoniotti
local dateFri, 17 Apr 2009 07:52:25
dateFri, 17 Apr 2009 07:52:25
hash20090417075225-0588d-03d48fcc6b2a7aa74426527baf2a108382f4ca4c.gz
Fixed a couple of snags. APPLY-SUBSTITUTION was not applied

Fixed a couple of snags. APPLY-SUBSTITUTION was not applied
recursively and it was barfing on numbers.
Current version is still incomplete, but it serves as a template for
further development.
1 file(s) changed:
apply-substitution.lisp +6 -1 diff | history | annotate
There once was a man from Nantucket…