../ codegen.rstAdded ruby codegen to doc and alphabatised list.10 years ago compilation.rstChange Instance to implementation (#3404)10 years ago documenting.rstAdd Vim command for declaration documentation11 years ago elaborator-reflection.rstChange Instance to implementation (#3404)10 years ago erasure.rstUse interface instead class or type class in documentations (#3379)10 years ago ffi.rstChange Instance to implementation (#3404)10 years ago ide-protocol.rstadd more missing commands for IDE protocol doc10 years ago index.rstTransfered code generation documentation from github wiki.10 years ago internals.rstFixed heading issue in docs.10 years ago language-extensions.rstUpdates11 years ago language-features.rstChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago misc.rstChange Instance to implementation (#3404)10 years ago packages.rstAdd short info on headers copying10 years ago partial-evaluation.rstTransferred notes on partial evaluation from wiki to proper docs.10 years ago repl.rstUse interface instead class or type class in documentations (#3379)10 years ago semantic-highlighting.rstFix typos in semantic highlighting docs11 years ago syntax-guide.rstfix docs section header for anonymous functions11 years ago tactics.rstFixed reST error in docs.11 years ago type-directed-search.rstTransfered type-dreicted search wiki page from github wiki to proper docs.10 years ago uniqueness-types.rstAdd where keyword to UList and BadList in the Uniqueness Types documentation.11 years ago