git.iko.soy/Idris-dev
on 9b1d900 help sign in
9b1d900Added nominal man-page.Jan de Muijnck-Hughes 02f7c64Merge pull request #1461 from david-christiansen/issue/1460David Christiansen 95e1d27Merge pull request #1459 from david-christiansen/issue/1458David Christiansen 86b60b2Take .lidr syntax into account with :addmissingDavid Raymond Christiansen 8e94d31Merge pull request #1427 from david-christiansen/issue/1318David Christiansen 946c0daMerge pull request #1457 from david-christiansen/issue/1442David Christiansen 1267d64Strip ANSI codes from parser errors in IDEDavid Raymond Christiansen 40d07c4Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1318David Raymond Christiansen 4fde861Add a Travis target for make lib_docDavid Raymond Christiansen d947282Merge pull request #1452 from hannesm/ideslave-socketDavid Christiansen 159a99cMerge pull request #5 from david-christiansen/ideslave-socketHannes Mehnert f7bd9f5Make --client use the correct handlesDavid Raymond Christiansen fa6652aMerge pull request #4 from david-christiansen/ideslave-socketHannes Mehnert 705dbe1Stop encoding prover messages as outputDavid Raymond Christiansen a34dbcfMerge pull request #3 from david-christiansen/ideslave-socketHannes Mehnert 02e8f8cSend prover errors back with spans instead of ANSIDavid Raymond Christiansen 4fe16a5read from handle rather than stdinHannes Mehnert a0ccc57move getNChar and getLen to IdeSlaveHannes Mehnert 2558c13load input properly, as requested by @MelvarHannes Mehnert abee538Merge pull request #2 from david-christiansen/ideslave-socketHannes Mehnert 480024cRemove all the handle argumentsDavid Raymond Christiansen 2418336Save some allocations in updateSolvedEdwin Brady d6057b5Search subterm for goal firstEdwin Brady bc3a9bfMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady ab36099Use a zipper-like proof stateEdwin Brady 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert be0a480provide a new option, --ideslave-socket, for an ideslave listening on a socketHannes Mehnert 7a3b2e7utility to listen on any port, returning the port number and the socketHannes Mehnert 4ae829cMerge pull request #1450 from david-christiansen/dont-show-mn-in-proofDavid Christiansen c578372Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a9dd2e4Lift out proof term into a separate moduleEdwin Brady 8f7d848Don't show irrelevant MNs in proverDavid Raymond Christiansen ccda94eMerge pull request #1447 from jwiegley/masterDavid Christiansen e3be67aBump upper bound on parsers dependencyJohn Wiegley 382542aAdd %no_implicit directiveEdwin Brady 8407c27Update version numberv0.9.14.1Edwin Brady 0c96d97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c72d0f4Split elaborator into multiple source filesEdwin Brady 03bf0b1Merge pull request #1444 from david-christiansen/reflection-updatesDavid Christiansen 621bd1dMerge pull request #1440 from Melvar/fix-bangbind-opDavid Christiansen bc34332Improve quasiquote patterns for MNDavid Raymond Christiansen 86a66e1Merge pull request #1443 from david-christiansen/reflection-updatesDavid Christiansen e0dc334Update documentation in Language.ReflectionDavid Raymond Christiansen bc74895Add Quotable instances for Raw and TacticDavid Raymond Christiansen 04e32f5Merge pull request #1414 from Heather/writeLineEdwin Brady 8d5c1feMerge pull request #1438 from david-christiansen/reflection-updatesDavid Christiansen d10ed5dMerge pull request #1433 from jmitchell/effects-docDavid Christiansen a73b6afFix reference to broken primitivesDavid Raymond Christiansen 5d25ac8Add regression test for operators starting with "!"Melvar Chen 79308e7Add typeclass for programmatic quotingDavid Raymond Christiansen