Hacker News new | ask | show | jobs
by toprerules 180 days ago
Ah, I thought this was adding refinement types to Rust based on Liquid Haskell. Disappointed.