Den tor. 5. sep. 2019 kl. 23.27 skrev Josh Rubin <jlru...@gmail.com>:
> > On 9/5/2019 9:05 AM, Adam Golding wrote: > > What is the shortest/smallest racket program (ithat enumerates all and > > only valid racket programs? > > > > You might be interested in the logic-programming/constraint-solving > language named miniKanren. > > Apropos, Friedman and Byrd shows how one can use an interpreter written in Kanren to generate Scheme programs. https://www.youtube.com/watch?v=5vtC7WEN76w /Jens Axel -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CABefVgzYc0sMhobXpW9Ucbkpiex-45of6mAHSV_di4wiTc%2B_Gg%40mail.gmail.com.