Hacker News new | ask | show | jobs
by caotic123 1762 days ago
As far i know, pompom has a decidable type check though.