git.iko.soy/Idris-dev
on e42e698 help sign in
e42e698Merge pull request #928 from david-christiansen/bits-show-segfaultEdwin Brady b9b7bbaMerge pull request #926 from JanBessai/FunctionTargetEdwin Brady 3489bf2Merge pull request #925 from JanBessai/TailRecursiveTreeToListEdwin Brady 2f9c617Fix non-termination bug in class resolutionEdwin Brady 5229f19Replace occaisional segfault with bad dataDavid Raymond Christiansen b6dab40shortcut to obtain the target type of a functionJan Bessai 9b348f7Merge branch 'master' into TailRecursiveTreeToListJan Bessai 3d9591eTail recursive verison of treeToList (avoiding ++)Jan Bessai 151d4efMerge pull request #924 from david-christiansen/prover-new-commandsEdwin Brady af0171eProver commands for evaluation and typechecking expressionsDavid Raymond Christiansen 3771dd1Merge pull request #923 from CodeBlock/patch-1Edwin Brady a334e97Merge pull request #922 from LeifW/dont_check_hostname_in_replEdwin Brady 5c119daFix typo in usage messageRicky Elrod abd3c34Don't check hostname on network connections to REPL from editors.Leif Warner 69c8668Merge pull request #921 from david-christiansen/parse-doc-comment-warningsEdwin Brady afa73d5Merge pull request #919 from hannesm/fix-rts-idris-netEdwin Brady 9b7ed25Merge pull request #918 from JanBessai/TotalNatOrderEdwin Brady 101a8d3Merge pull request #917 from david-christiansen/boundedEdwin Brady 9c0581eFix parameter name propagationEdwin Brady c733a8fParser warnings; especially for invalid doc commentsDavid Raymond Christiansen 82e59f8Fix include for sockaddr_in and initialization of addr in idrnet_sockaddr_ipv4Hannes Mehnert ecfb293Evaluator bug fixEdwin Brady a8c00adDecidable instance for FinLTEJan Bessai 1139e72Documentation improvementJan Bessai 426730fOrder on FinJan Bessai d3f0024Add minimum and maximum on newly defined Order classJan Bessai 74dc19cTotal order on NatJan Bessai ea98726Split Bounded into lower and upper bound type classesDavid Raymond Christiansen 5c1d757Port Haskell's Bounded classDavid Raymond Christiansen 0fa9239Tinker with popen/pollEdwin Brady b651aafProof search fixEdwin Brady 4227b95Merge pull request #915 from david-christiansen/issue/873Edwin Brady a8ce161Merge pull request #914 from raichoo/javascriptEdwin Brady d86e320Enable refinement by infix operators in proverDavid Raymond Christiansen b357c64updated CHANGELOGraichoo e175b1ajavascript: use %include directive to include external javascript filesraichoo 2afab0dMerge pull request #910 from david-christiansen/ideslave-explicit-namespacesEdwin Brady 6370ef3Add missing output annotation serialization to ideslaveDavid Raymond Christiansen 68a54dcMerge remote-tracking branch 'upstream/master' into ideslave-explicit-namespacesDavid Raymond Christiansen 71b477bAdd IDESlave command for getting documentationDavid Raymond Christiansen dbad038Support explicit namespaces in IDESlave :type-ofDavid Raymond Christiansen 6d3863dBetter environment management in unificationEdwin Brady 92789a9Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a73cc7aMerge pull request #908 from david-christiansen/ext-helpEdwin Brady a5ee4deAdd some file functionsEdwin Brady 8b20137Document -X at command lineDavid Raymond Christiansen 6fcfa5fMerge pull request #907 from raichoo/enumFromToEdwin Brady 09e277bMerge pull request #906 from david-christiansen/unit-instancesEdwin Brady 0f98883Merge pull request #905 from david-christiansen/docstringsEdwin Brady 8de8163Merge pull request #903 from melted/masterEdwin Brady