git.iko.soy/Idris-dev
on fdbcc73 help sign in
history ofdocs/reference/misc.rst
all commits
e65d0faMove documentation for the C heap to the FFI documentAlex Queiroz 2d02b09Fix reference to "refl" in misc referenceMarkus Klink 9cc65aafix heading in user docs.Jan de Muijnck-Hughes 0df1270Change Instance to implementation (#3404)(λ _ λ) 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) 77c20c9Added information about bash completion.Jan de Muijnck-Hughes c6d8703Update documentation on C heap.Matus Tejiscak cf7501dAdd warning.Matus Tejiscak b63d554Add C heap documentation.Matus Tejiscak c8f18caPruning and deduplication of content in the reference documentation.Jan de Muijnck-Hughes ab54660UpdatesJan de Muijnck-Hughes