Notices tagged with programsyntesis
-
Hallå Kitteh (clacke@social.heldscal.la)'s status on Tuesday, 25-Jul-2017 08:47:46 UTC Hallå Kitteh More on #programsyntesis with #barliman:
> The interesting thing here is that even though we've only partially specified this program, we can fail a test.
> The second test fails, and what that's telling us is that there are no expressions, in our subset of Scheme, for which filling in [the placeholders] ,B ,C and ,A would make that test pass.
https://youtu.be/er_lLvkklsk?t=20m24s