We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Unofficial FAQ (markdown)
Cast ty ty
Add TOC
Fix a type
Fix broken link to Javascript-Notes
Unify type alias naming with official FAQ and add note for exported type aliases
Correction made to location of traverse
Fixed typos
Update ways to get function documentation
Remove outdated laziness info
There is good documentation for records in the tutorial now, thus where they are shouldn’t be a common question anymore.
Remove obsolete question about gc.h, which is no longer used.
fixed code block
updated records section because of new syntax
Removed superfluous laziness section, moved rest of the sections closer together.
Update the link to the FAQ.
Added link to stack overflow answer for idris evaluation semantics.
Added entry on scraping IRC.
Added FAQ Entry concerning Float and Double naming
as-patterns are available now, removed the corresponding entry
removed entry as LLVM backend has been factored out.
updated naming of FalseElim to void and _|_ to Void
added the as-patterns question
removed an outdated section ("Empty data declarations don't work?")
added FAQ of incorrect ibc version.