3 ms·That beginner-level Rust code made Coq barf. Rewrite your POC in Haskell before reverting back.by loopz 6y agoThat beginner-level Rust code made Coq barf. Rewrite your POC in Haskell before reverting back.