https://de.wikipedia.org/w/index.php?action=history&feed=atom&title=Idris_%28programming_language%29Idris (programming language) - Versionsgeschichte2025-07-31T00:51:14ZVersionsgeschichte dieser Seite in WikipediaMediaWiki 1.45.0-wmf.11https://de.wikipedia.org/wiki/Idris_(programming_language)Zu dieser Seite ist keine Versionsgeschichte vorhanden.2025-07-31T00:51:14Z<p>Die angeforderte Seite existiert nicht. Vielleicht wurde sie gelöscht oder verschoben. <a href="/wiki/Spezial:Suche" title="Spezial:Suche">Durchsuche</a> Wikipedia nach passenden neuen Seiten.
</p>