Język programowania: Idris

Idris - statycznie typowany, natywny i czysto-funkcyjny język programowania. Prawdopodobnie następca języka Haskell.

Artykuły:

Linki zewnętrzne

Książki