Boom, Great. On Tue, Jan 22, 2019 at 9:49 AM Vincent St-Amour <[email protected]> wrote: > > 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.
-- -=[ 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/CAJYbDakkKid1RU%2BCna7mhP1Qn9VPMYg4vxo0WkDv-m3UK16uKw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
