Hacker News new | past | comments | ask | show | jobs | submit | from login

Functional Data Structures and Algorithms: A Proof Assistant Approach (functional-algorithms-verified.org) 6 points by nextos on Sept 1, 2023 | past Functional Algorithms, Verified (functional-algorithms-verified.org) 167 points by haskellandchill on Oct 15, 2021 | past | 43 comments

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: