Erfasste Open-Source-Repos von idris-lang, sortiert nach Sternen.
Eine rein funktionale Programmiersprache mit Typen erster Klasse
