Comment Comment by aw1621107 Out of curiosity, how many languages would meet those criteria? Only one I can think of off the top of my head is CompCert's C dialect. Are there others? parent aw1621107 5 years ago
