On Sat, Sep 1, 2012 at 7:26 PM, Ludovic Courtès
<address@hidden> wrote:
Hi Stefan!
"address@hidden" <address@hidden> skribis:
> 1 I don't think the current equal? Will need to change, but
> Another one that under rnr7 will be coded and used with the
> Symbol equal? In that module. Hence no problems.
Yes, of course.
> 2 The guile hackers are able enough to implement it. In typed-guile there is an implementation that does unification on circular lists and
> Also there is probably enough reference information to code this in due time.
Typed Guile? Did I miss something? :-)
Ludo’.