Show HN: SupGen, an model-free program synthesizer by examples / dependent types https://ift.tt/DI6tNLU

Show HN: SupGen, an model-free program synthesizer by examples / dependent types https://www.youtube.com/watch?v=bEP88ucXga January 20, 2025 at 11:03PM