Show HN: SupGen, an model-free program synthesizer by examples / dependent typesyoutube.com
19 points by LightMachine 2 days ago | 8 comments