Hi Stefan! "stefan.ita...@gmail.com" <stefan.ita...@gmail.com> 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’.