Code

History

Commits on master to src/Idris35+
  1. Rename everything idris2boot, increment versionEdwin Brady committed 6 years ago24fed4f
  2. Faster search for modules to build in packagesEdwin Brady committed 6 years agoea84eab
  3. contrib shouldn't be in the default search pathEdwin Brady committed 6 years ago19bcefb
  4. Add --verbose flagEdwin Brady committed 6 years ago3a9823e
  5. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  6. Hack for optimising some enumerationsEdwin Brady committed 6 years ago9328579
  7. Small code generation improvementsEdwin Brady committed 6 years agoe9a6b68
  8. Add transformation rules for top level methodsEdwin Brady committed 6 years agob617cae
  9. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  10. Remove chicken back endEdwin Brady committed 6 years ago15c6a0d
  11. Add high level syntax for transform rulesEdwin Brady committed 6 years agoe14f8e1
  12. Improve partial evaluationEdwin Brady committed 6 years ago52db302
  13. Merge pull request #350 from berewt/findIpkgDependsEdwin Brady committed 6 years ago572d174
  14. Merge pull request #329 from LibreCybernetics/refactor-identifier-lexerEdwin Brady committed 6 years agoafa9352
  15. Merge pull request #340 from chrrasmussen/add-nonewtypeEdwin Brady committed 6 years ago7e06798
  16. Merge pull request #354 from rgrover/system.randomEdwin Brady committed 6 years ago600412f
  17. Merge pull request #353 from ska80/fix-cast-char-stringEdwin Brady committed 6 years agoa7e0f63
  18. Merge pull request #317 from abdelq/gambitEdwin Brady committed 6 years ago833168f
  19. Refactor identChar into the identLexer to have that definition in one placeFabián Heredia Montiel committed 6 years ago20ed4a3
  20. Calculate which arguments are inferrable in a typeEdwin Brady committed 6 years agob7e3955
  21. add contrib to the search path for modulesRohit Grover committed 6 years ago5e9a461
  22. Fix casting Char to StringKamil Shakirov committed 6 years ago6c27a43
  23. --find-pkg load dependenciesNicolas Biri committed 6 years ago07744b5
  24. Preparation for the Gambit Scheme backendAbdelhakim Qbaich committed 6 years ago1bbf662
  25. Add some more IRs for back ends to useEdwin Brady committed 6 years ago4a91375
  26. Add noNewtype option to data typesChristian Rasmussen committed 6 years ago84e431f
  27. Merge pull request #331 from ziman/record-compatEdwin Brady committed 6 years ago4fe2018
  28. Add compatibility with the original record update syntax.Matus Tejiscak committed 6 years ago82a23af
  29. Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCountEdwin Brady committed 6 years agobdefd1a
  30. Merge pull request #314 from MarcelineVQ/using-fixEdwin Brady committed 6 years ago2fd1c40
  31. Merge branch 'master' into recordsEdwin Brady committed 6 years ago1262ca2
  32. Merge pull request #254 from jfdm/literate-modesEdwin Brady committed 6 years agob9907fb
  33. Implement occurs check properly (finally!)Edwin Brady committed 6 years agoff86f6f
  34. Some inlining changesEdwin Brady committed 6 years ago3d8d076
  35. change where openHints is snapshotted clearing the open hints at the end of elabImplementation was missing the 'using' hintsMarcelineVQ committed 6 years ago4b878a8

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t