git.iko.soy/Idris-dev
on master help sign in
history of09f2abd..master
compare
f52eafdFix for name shadowing in evaluatorEdwin Brady a19d1dcCongruence over a single function instead of all functionsJan Bessai bd93226Equivalence and congruence relationsJan Bessai e237954Merge pull request #950 from JanBessai/EqualityOperatorParserFixEdwin Brady efb461aMerge pull request #927 from JanBessai/FunctionChainsEdwin Brady 49de647Merge branch 'master' into FunctionChainsJan Bessai be7d600Treat (=) as a special function name. Includes a regression test.Jan Bessai 1519d88Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady af082b6Merge pull request #948 from raichoo/javascriptEdwin Brady 6e74bd7Merge pull request #945 from david-christiansen/new-docsEdwin Brady 3ccbc55javascript: remove overlapping caseraichoo 2364435whitespaceraichoo b96f713javascript: do not include jsbn if not neededraichoo e5a48f4Add resourceType function for convenience in EffEdwin Brady 1ffa80dMerge pull request #947 from raichoo/javascriptEdwin Brady 1a172b2javascript: add google closure annotations to ASTraichoo c353a68javascript: make FFI part of ASTraichoo 9f93122src/Idris/ParseHelpers.hs: workaround build failure against ghc-7.8Sergei Trofimovich d53154aAdd documentation in new format for various libsDavid Raymond Christiansen 780a0a6Merge pull request #941 from raichoo/javascriptEdwin Brady cb4b145Merge pull request #942 from ziman/instance-ctorsEdwin Brady dc6b9cbAdd new doc syntax to CHANGELOGDavid Raymond Christiansen c1ef938New syntax for documentation commentsDavid Raymond Christiansen c2671c0Fix missing case in CodegenJavaEdwin Brady d4ffc21Add ManagedPtr typeEdwin Brady bd744f1Propagate function name to tacticsEdwin Brady c37de47Propagate parameters to recordsEdwin Brady fe519dbBump IBC version.Matus Tejiscak 1a79f2bAdd a special name for instance constructors.Matus Tejiscak f2c6d01javascript: omit bounded001 testraichoo 87e9604Merge pull request #939 from melted/build_winEdwin Brady c6d93f8Merge pull request #938 from JanBessai/JavaUseRunMainEdwin Brady 8319e27Merge pull request #937 from david-christiansen/postulate-providersEdwin Brady da8d396Merge pull request #936 from david-christiansen/executor-arg-countEdwin Brady d9b6399Add beginnings of System effectEdwin Brady 94750e3Add 'time' functionEdwin Brady 4fef650Add rndFinEdwin Brady 7b32c97No need to export primitives as metavariablesEdwin Brady 2df0a7fStore metavariables in ibc filesEdwin Brady 1f897b1Fix for matchProblemsEdwin Brady aa69931Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c15d4cbConversion checking tweakEdwin Brady 380a874Split out Windows versions of some rts filesNiklas Larsson a57ade6Rely on generated runMain to test if a main method is present instead of hardcoded Main.mainJan Bessai 0875310Control whether provider decls accept postulatesDavid Raymond Christiansen 5365977Postulate providersDavid Raymond Christiansen 360bbdaStop getArgs from crashing executorDavid Raymond Christiansen 3bc4846Merge pull request #933 from JanBessai/transposeEdwin Brady e42e698Merge pull request #928 from david-christiansen/bits-show-segfaultEdwin Brady b9b7bbaMerge pull request #926 from JanBessai/FunctionTargetEdwin Brady