Hacker News new | ask | show | jobs
by ryandv 173 days ago
minikanren folks were already experimenting with program synthesis given a test suite that needs to be fully satisfied.