Sounds good. What do you think of this synthesis into one bullet item?
- The racklog library has seen a number of improvements, including fixes to logic variable binding, logic variables containing predicates being applicable, and the introduction of an `%andmap` higher-order predicate. Vincent On Tue, 22 Jan 2019 08:44:31 -0600, Jay McCarthy wrote: > > On Mon, Jan 21, 2019 at 8:53 PM Leo Uino <[email protected]> wrote: > > > > I'll defer to Jay, but the main points are: > > > > On Saturday, January 19, 2019 at 5:01:26 AM UTC+9, Vincent St-Amour wrote: > >> > >> Leo Uino > >> - lots of racklog changes > > > > > > Many cases of logic variable bindings being incorrectly unwound are now > > fixed. > > > > Logic variables containing predicates may now be used in procedure > > applications. > > > > Introduced the %andmap higher-order predicate. > > This is a good list to me. > > Jay > > > > > Leo > > > > -- > > You received this message because you are subscribed to the Google Groups > > "Racket Developers" 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]. > > To view this discussion on the web visit > > https://groups.google.com/d/msgid/racket-dev/4e2f0796-9cea-461f-a63e-d8e411bce27b%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > > > > -- > -=[ Jay McCarthy http://jeapostrophe.github.io ]=- > -=[ Associate Professor PLT @ CS @ UMass Lowell ]=- > -=[ Moses 1:33: And worlds without number have I created; ]=- > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/CAJYbDakqAEfbjLsYtmAV6zB4A0ijXLRLsO%2B8w3pL8DmDupVP_g%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m2womw7nmz.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
