640px-Agda_proofPowrót do artykułu: Obsługa plików w C++ – odczyt danychFot: Alexandre Buisse (Nattfodd), CC.