logoalt Hacker News

deterministicyesterday at 2:25 AM0 repliesview on HN

This is a solved problem. See CakeML for example.