03d9188Merge pull request #4632 from bigos/patch-1Niklas Larsson8 years ago 32940beMerge pull request #4630 from unalos/4629Niklas Larsson8 years ago a0a9b79Update ffi.rst to show example of correct including C code and example MakefileJacek Podkanski8 years ago ecfb081Documenting usage of MKSTR and the Raw type constructor when interacting with C code.Guillaume Yziquel8 years ago 46f3ebbFixing arity of cdata_manage in documentation.Guillaume Yziquel8 years ago 631f3dbError when using closure as callback in C backendNiklas Larsson8 years ago e65d0faMove documentation for the C heap to the FFI documentAlex Queiroz9 years ago 7dcd0cdFix code block in FFI documentationAlex Queiroz9 years ago 3d2e39aPrefix for pasting in identifiers in C FFINiklas Larsson9 years ago 6672e33Fix function name in FFI exampleAlexandre Esteves10 years ago 43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago 0e5a476use `Double` instead of `Float` in docszjhmale10 years ago 34c8e1fAdded slightly to the C FFI reference, and corrected a code example i… (#3126)Colin Adams11 years ago 7cb145cDo a writeup on new C FFI featuresNiklas Larsson11 years ago 0afd6f2Docs for new record syntaxDavid Raymond Christiansen11 years ago 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes12 years ago ef50150UpdatesJan de Muijnck-Hughes12 years ago af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes12 years ago