That beginner-level Rust code made Coq barf. Rewrite your POC in Haskell before ... | Hacker News

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

login

loopz on March 29, 2021 | parent | context | favorite | on: How to Criticize Computer Scientists (2001)

That beginner-level Rust code made Coq barf. Rewrite your POC in Haskell before reverting back.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact