๐Ÿ“• subnode [[@jakeisnt/idris]] in ๐Ÿ“š node [[idris]]
๐Ÿ“• text contributed by @jakeisnt ๐Ÿ”—

Idris is a fully-featured programming language inspired by Haskell that has full support for dependent types.


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

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)
๐Ÿ“– stoas (collaborative spaces) for [[@jakeisnt/idris]]