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