Code

History

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