Free software programmed in Haskell

Idris ist eine rein funktionale Programmiersprache mit abhängigen Typen , Mengenannotationen , optionaler verzögerter Auswertung und Funktionen wie einem Totalitätsprüfer .

Pandoc ist ein kostenloser Dokumentenkonverter , der häufig als Schreibwerkzeug (insbesondere von Wissenschaftlern) und als Grundlage für Publikationsprozesse genutzt wird .

Servant ist ein Webframework , das auf der funktionalen Programmiersprache Haskell basiert und besonderen Wert auf Datensicherheit legt .