sargx digital garden
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Computer $h1t
❯
Functional Programming
❯
Idris
Idris
Feb 17, 2026
1 min read
https://wiki.nikiv.dev/programming-languages/idris/
🌱 Back to Garden
Graph View
Backlinks
Functional Programming