Comment on C*: Unifying Programming and Verification in C (2025)parentComments−applfanboysbgon3dNeither of those languages are obscure. If enough time passes that they become considered so, by all means there is no reason to condemn the names to an eternal graveyard.
Comments
Neither of those languages are obscure. If enough time passes that they become considered so, by all means there is no reason to condemn the names to an eternal graveyard.