git.iko.soy/Idris-dev
on 8fe8bb9 help sign in
8fe8bb9Add module docs to CHANGELOGDavid Raymond Christiansen 7b05e29Add docs for module UninhabitedDavid Raymond Christiansen 6b803b7Allow documentation for modulesDavid Raymond Christiansen c1cf03fMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 2ec25c2Do more forcing in IBCEdwin Brady f401f73Merge pull request #1824 from bmsherman/completionDavid Christiansen 2f0ec2eUse pre-existing function to list installed packages at command lineBen Sherman a1af8e9Merge remote-tracking branch 'NobbZ/feature/package-list' into completionBen Sherman effc954Add function to list installed packagesBen Sherman 3f81406import slipped throughNorbert Melzer d31f30fDefault to no REPL completion if not yet implementedBen Sherman 7cef7eaprint every subdir of libdir as a packageNorbert Melzer 0a8e3e3Merge pull request #1820 from Heather/masterEdwin Brady 76ad506Don't give up when compiling TypesEdwin Brady f936366Merge pull request #1817 from bmsherman/replEdwin Brady 1de1915Merge pull request #1816 from mattias-lundell/masterEdwin Brady 7fedc76Extended parseFlagsNorbert Melzer ec2b304Extended OptNorbert Melzer 16d7ec0add msse2, fixes #1819Heather 99be9f0Various cleanup of the REPL, mainly with parsing and completionBen Sherman cacf435Keep track of file to be edited in REPLEdwin Brady 7c34217Allow class constraints to be namedEdwin Brady b6b8fd2Add gc copy for bit vectorsMattias Lundell ee32989Search in current elaboration stack for instancesEdwin Brady f409e11Fix typos in documentationBen Sherman 3c475f4Improve REPL completion and DRY in parsing/completionBen Sherman e57170dNeed to separate flags when invoking gccEdwin Brady 9b55e98Cleaning a package should remove idx file tooEdwin Brady ed58a4bAdd missing test fileEdwin Brady bb0162fCan't run effects003 on nodeEdwin Brady 3874926Add Hangman example to testsEdwin Brady 8628481refsIn should take all the PsEdwin Brady 140cfe2Small changes and documentation update to :searchBen Sherman d75ff02Update CHANGELOGEdwin Brady df13cbcAdd missing case in needsBigInt in JS back endEdwin Brady 6449edeAdd missing file(!)Edwin Brady 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 40ee5f3Update CHANGELOGEdwin Brady c8c5b17Merge pull request #1813 from mattias-lundell/masterEdwin Brady ab32c46Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 02a36adAllow :search and :apropos to search packagesEdwin Brady 26da5c7Save index file when installing a packageEdwin Brady 9702474Merge pull request #1808 from bmsherman/prettyPrintEdwin Brady 58ad2d6Merge pull request #1809 from bmsherman/replPromptEdwin Brady 292d3f5ignore primitives004 on all backends except CMattias Lundell 6dafd18Added bit vectors to the C backendMattias Lundell 71bbd62REPL prompt should only show successfully loaded modulesBen Sherman 96d370eFlip operator precedence rules for pretty-printingBen Sherman d40cd6fCheck for duplicate names in Can't ConvertEdwin Brady 2e6b5e0Fix universe checking errorEdwin Brady