git.iko.soy/Idris-dev
on 4162113 help sign in
history ofdocs/reference/ffi.rst
all commits
7dcd0cdFix code block in FFI documentationAlex Queiroz 3d2e39aPrefix for pasting in identifiers in C FFINiklas Larsson 6672e33Fix function name in FFI exampleAlexandre Esteves 43e7ec9Updated remaining use of deprecated `return` in Docs to `pure`.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ) 0e5a476use `Double` instead of `Float` in docszjhmale 34c8e1fAdded slightly to the C FFI reference, and corrected a code example i… (#3126)Colin Adams 7cb145cDo a writeup on new C FFI featuresNiklas Larsson 0afd6f2Docs for new record syntaxDavid Raymond Christiansen 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes ef50150UpdatesJan de Muijnck-Hughes af72159Sphinx Based Documentation for Idris.Jan de Muijnck-Hughes