Show HN: SupGen, an model-free program synthesizer by examples / dependent types January 20, 2025 by kamal Comments