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

Show HN: SupGen, an model-free program synthesizer by examples / dependent types https://www.youtube.com/watch?v=bEP88ucXga January 21, 2025 at 12:33AM