- Idris perspective from Haskellers https://idris2.readthedocs.io/en/latest/tutorial/index.html 26 comments haskell
- [ANN] Monadic Bang: A plugin for more concise do-block notation, inspired by Idris https://idris2.readthedocs.io/en/latest/tutorial/interfaces.html#notation 30 comments haskell
- Creating a field in a record to represent a function? https://idris2.readthedocs.io/ 5 comments programminglanguages
- How to include function name for my function application? (Compiler in Idris) https://idris2.readthedocs.io/en/latest/tutorial/interp.html 3 comments compilers
- Question about linear type example in Idris2 docs https://idris2.readthedocs.io/en/latest/tutorial/multiplicities.html 4 comments idris
- Idris2 crash course errors https://idris2.readthedocs.io/en/latest/tutorial/index.html 2 comments idris
- Ascending valued pairs in Idris2 https://idris2.readthedocs.io/en/latest/tutorial/typesfuns.html 11 comments idris