On Sun, 28 Oct 2018 at 16:14, Brian Damgaard <[email protected]> wrote:
> As a newcomer to Microkanren/Minikanren I'm puzzled by the use of the word > "fresh" for creating new logical variables. > > Could someone please explain to me, whether there is some deep reason for > this choice, instead of the seemingly much better, obvious, and more > natural word "leto"? > My understanding is that the o suffix isn't really used to disambiguate minikanren from scheme, it's used to indicate a relation, and the process of creating a logic variable isn't a relation, so there's no o suffix. R. -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
