Hacker News new | ask | show | jobs
by deterministic 436 days ago
This is a solved problem. See CakeML for example.