Code

History

Commits on master to src/Idris/ModTree.idr18
  1. Faster search for modules to build in packagesEdwin Brady committed 6 years agoea84eab
  2. Hack for optimising some enumerationsEdwin Brady committed 6 years ago9328579
  3. Quicker building of dependency treeEdwin Brady committed 6 years ago727d6e8
  4. Add our own version of fileModifiedTimeEdwin Brady committed 6 years ago09447e3
  5. Check import hashes before a full parseEdwin Brady committed 6 years ago9fd2e42
  6. Reset auto lazy/unbound implicitsEdwin Brady committed 6 years ago886b6aa
  7. add sourcedir optionAlex Gryzlov committed 7 years ago54ac723
  8. Speed up unelaboration to TTImpEdwin Brady committed 7 years ago76af451
  9. Detect cycles in importsEdwin Brady committed 7 years ago421b15a
  10. fix file handle leaksAlex Gryzlov committed 7 years agoe7aafcc
  11. Improve 'with' implementationEdwin Brady committed 7 years ago11199ac
  12. Deal with non-existent files more gracefullyEdwin Brady committed 7 years ago51c406f
  13. Save time lexing if we're only reading headersEdwin Brady committed 7 years agob577532
  14. Set fresh name counter on loading Main ttcEdwin Brady committed 7 years agod053a18
  15. No longer any need for NameRefsEdwin Brady committed 7 years agof77ef81
  16. Some TTC/Delay fixesEdwin Brady committed 7 years ago4bc87b4
  17. Change main program to be Idris2Edwin Brady committed 7 years ago146c301
  18. More of the Idris machineryEdwin Brady committed 7 years ago5c2d78e

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