📕 subnode [[@ryan/20210607154159 idris]]
in 📚 node [[20210607154159-idris]]
Idris is a purely functionalprogramming languagederived from Haskell
📖 stoas
- public document at doc.anagora.org/20210607154159-idris
- video call at meet.jit.si/20210607154159-idris