πŸ“• Node [[idris]]
↳ πŸ““ Resource @jakeisnt/idris
πŸ“„ idris.org by @jakeisnt
  • Resources
⸎ (text) last updated 2021-04-24 20:36:36+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