- I Don't Understand the `with ... proof ...` Construct https://docs.idris-lang.org/en/latest/tutorial/views.html#with-and-proofs 3 comments idris
- Porting Idris's !-notation to Haskell https://docs.idris-lang.org/en/latest/tutorial/interfaces.html#notation 35 comments haskell
- How does Idris optimize representation and operations for Nat-like types. http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html 4 comments idris
- How powerful is Template Haskell? http://docs.idris-lang.org/en/latest/reference/elaborator-reflection.html 7 comments haskell
- Idris (C) FFI http://docs.idris-lang.org/en/latest/reference/ffi.html 2 comments idris
- What is relation between idris and haskell ecosystem? http://docs.idris-lang.org/en/latest/tutorial/starting.html 2 comments idris
- TIL Idris has implicit conversions http://docs.idris-lang.org/en/v0.9.19/tutorial/miscellany.html#implicit-conversions 8 comments idris
- Implementing State-aware Systems in Idris: The ST Tutorial http://docs.idris-lang.org/en/latest/st/index.html 3 comments idris
- Proving addition associativity using the Interactive Elaborator http://docs.idris-lang.org/en/latest/guides/theorem-prover.html 12 comments idris
- Supporting Idris' !-notation in Haskell http://docs.idris-lang.org/en/latest/tutorial/interfaces.html#notation 32 comments haskell
- About that Idris data declaration, could someone please clarify? http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html 22 comments haskell