πŸ““ idris.md by @ryan β˜†

Idris

Idris is a [[purely functional]] [[programming language]] derived from [[Haskell]].

⸎ [[ modified: 2022-08-13 20:11 ]]