Comment Comment by cia_plant No, I'm simply stating the fact that there are type systems capable of encoding assertions. parent cia_plant 12 years ago
