πŸ“• Node [[idris]]
πŸ“„ idris.org by @jakeisnt
  • Resources
⸎ (text) last updated 2021-04-24 20:36:36+02:00
πŸ“„ idris.md by @ryan

Idris

Idris is a [[purely functional]] [[programming language]] derived from [[Haskell]].
⸎ (text) last updated 2022-08-13 20:11:52+02:00

Loading pushes...

Rendering context...

πŸ“• Node [[20210423123830 type_driven_development_with_idris]] perhaps related
πŸ“• Node [[idris2]] perhaps related
πŸ“• Node [[type driven development with idris]] perhaps related