Koinduktion
Idee von @hy84coky zur Erweiterung. Ähnlich zum Induction-File könnte man ja eine koinduktive Version erstellen, vlt. einfach mit Streams zur besseren Vorstellung. Mal schauen.
Idee von @hy84coky zur Erweiterung. Ähnlich zum Induction-File könnte man ja eine koinduktive Version erstellen, vlt. einfach mit Streams zur besseren Vorstellung. Mal schauen.