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 <l...@lwh.jp> 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 racket-dev+unsubscr...@googlegroups.com. > > To post to this group, send email to racket-dev@googlegroups.com. > > 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 racket-dev+unsubscr...@googlegroups.com. > To post to this group, send email to racket-dev@googlegroups.com. > 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 racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. 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.
