๐ subnode [[@jakeisnt/idris]]
in ๐ node [[idris]]
Idris is a fully-featured programming language inspired by Haskell that has full support for dependent types.
Resources
https://github.com/jdublu10/pacman a proof that idris is pacman complete, the most important part of a programming language https://github.com/joaomilho/awesome-idris :: Idris resources https://idris.readthedocs.io/en/latest/tutorial/starting.html <button class="pull-url" value="https://idris.readthedocs.io/en/latest/tutorial/starting.html">pull</button> :: Starting Idris Koans small tidbits of Idris idris 2... you know what that means
Loading context... (requires JavaScript)
๐ stoas (collaborative spaces) for [[@jakeisnt/idris]]
- Open document (Hedgedoc) at https://doc.anagora.org/idris
- Video call (Jitsi) at https://meet.jit.si/idris