Y youtube.com Show HN: SupGen, an model-free program synthesizer by examples / dependent types 21 points LightMachine 1 year ago 9 comments
