Code

History

Commits on master to src/TTImp/ProcessDef.idr35+
  1. Reorganise TTC to make code generation fasterEdwin Brady committed 6 years ago02ce7b5
  2. Do compiling/inlining per moduleEdwin Brady committed 6 years ago87c54ca
  3. Fix some details of transformsEdwin Brady committed 6 years ago3d59816
  4. Apply transformation rulesEdwin Brady committed 6 years ago0dc486a
  5. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  6. More progress on partial evaluationEdwin Brady committed 6 years agoa117a63
  7. Progress on specialisationEdwin Brady committed 6 years agoa3c2163
  8. Merge branch 'remove-RigCount' of https://github.com/andrevidela/Idris2 into andrevidela-remove-RigCountEdwin Brady committed 6 years agobdefd1a
  9. Implement occurs check properly (finally!)Edwin Brady committed 6 years agoff86f6f
  10. Don't fully normalise LHSEdwin Brady committed 6 years ago2a0e5a4
  11. Replace RigCount by Semiring operationsAndré Videla committed 6 years ago6d63dad
  12. Fix where under multiple casesEdwin Brady committed 6 years ago0daece1
  13. Complete specialised definitionsEdwin Brady committed 6 years ago1b859fa
  14. Start on specialisationEdwin Brady committed 6 years agod801d0d
  15. Need to check multiplicity of names in LinearCheckEdwin Brady committed 6 years ago49510bf
  16. Don't build run time case trees for Rig0 defsEdwin Brady committed 6 years agoc1bc433
  17. Take environment into account in coverage checkEdwin Brady committed 6 years ago22febdf
  18. Coverage checker improvementEdwin Brady committed 6 years ago102fb7f
  19. Erase LHS before case tree compilationEdwin Brady committed 6 years agocd57190
  20. Add default implicit argumentsEdwin Brady committed 6 years ago2a2a208
  21. Coverage checker looks at 'impossible' clausesEdwin Brady committed 6 years ago57a14ff
  22. Record whether a definition originated from a holeEdwin Brady committed 6 years ago3bb5002
  23. Simpler implementation of 'case'Edwin Brady committed 6 years ago722131f
  24. Count argument position in parameter blocksEdwin Brady committed 6 years agoe5c7019
  25. Add %unbound_implicits directiveEdwin Brady committed 6 years agoc725d37
  26. Use a data type for dotting reasonEdwin Brady committed 6 years agoa26581f
  27. Better approach to erasure in pattern matchingEdwin Brady committed 6 years ago04e4ebf
  28. Add impossibility flag to ErasedEdwin Brady committed 6 years agofe74d6b
  29. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  30. Don't write out metadata we don't needEdwin Brady committed 7 years ago131841b
  31. Allow deferring definitions to other modulesEdwin Brady committed 7 years ago9bb91b5
  32. Propagate implicits to with clausesEdwin Brady committed 7 years ago47ad8ee
  33. Fix possible loop in auto implicit searchEdwin Brady committed 7 years ago91262b4
  34. Don't pass let bound things to with functionEdwin Brady committed 7 years ago1119c08
  35. Make 'with' work in where blocksEdwin Brady committed 7 years ago11560a5

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