5 ms·
minikanren folks were already experimenting with program synthesis given a test suite that needs to be fully satisfied.
by ryandv 9mo ago
minikanren folks were already experimenting with program synthesis given a test suite that needs to be fully satisfied.