Hacker News new | ask | show | jobs
by cia_plant 4509 days ago
No, I'm simply stating the fact that there are type systems capable of encoding assertions.