Ada's Dependent Types, and Its Types as a Whole

Creată 15h | 28 dec. 2024, 05:20:08


Autentifică-te pentru a adăuga comentarii