Code

History

Commits on master to src/TTImp/ProcessData.idr35+
  1. Erase the World, with careEdwin Brady committed 6 years agoac277ce
  2. Ignoring the World is inadvisableEdwin Brady committed 6 years ago4098078
  3. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  4. Erase %World for the purpose of newtypesEdwin Brady committed 6 years ago211fc35
  5. newtype optimisationEdwin Brady committed 6 years ago471a472
  6. Disambiguate data constuctor familiesEdwin Brady committed 6 years ago8158c61
  7. Type of generated top level methodsEdwin Brady committed 6 years ago03bdc31
  8. Reorganise implicit bindingEdwin Brady committed 6 years ago6c0747c
  9. Add syntax for 'using' blocksEdwin Brady committed 6 years ago118ea78
  10. Better approach to erasure in pattern matchingEdwin Brady committed 6 years ago04e4ebf
  11. Add impossibility flag to ErasedEdwin Brady committed 6 years agofe74d6b
  12. Add uniqueSearch data type optionEdwin Brady committed 6 years ago663e1b8
  13. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  14. Record erasable args in definitionsEdwin Brady committed 7 years agoa38cce4
  15. Use any local at multiplicity 0Edwin Brady committed 7 years agof86ba8c
  16. Calculate parameter positions in typesEdwin Brady committed 7 years agoe68b913
  17. Finish adding interactive tests from BlodwenEdwin Brady committed 7 years agoe6292ac
  18. Some TTC/Delay fixesEdwin Brady committed 7 years ago4bc87b4
  19. Only write out names which are actually usedEdwin Brady committed 7 years agodcae2c3
  20. Defer erasure/run-time case treesEdwin Brady committed 7 years ago8f38601
  21. Store type search hints separatelyEdwin Brady committed 7 years ago94cc2a0
  22. Record mutual type definitionsEdwin Brady committed 7 years agobf67f5c
  23. Add more of the high level stuffEdwin Brady committed 7 years ago2e2622c
  24. Record editing metadata and interface hashesEdwin Brady committed 7 years agoa05c656
  25. Add Metadata typeEdwin Brady committed 7 years ago2b38ce0
  26. Elaborate 'with' blocksEdwin Brady committed 7 years ago6c88bfe
  27. Added record declarationsEdwin Brady committed 7 years ago22a5286
  28. Save hints to TTC filesEdwin Brady committed 7 years ago18e0cab
  29. A bit more on performanceEdwin Brady committed 7 years ago6385cb6
  30. First attempt at linearity checking passEdwin Brady committed 7 years ago8081b03
  31. Check holes are solved after elaborationEdwin Brady committed 7 years ago9bd063b
  32. Add NestedNames argument throughout elaboratorEdwin Brady committed 7 years ago8d6d0c6
  33. Store resolved ids in pattern namesEdwin Brady committed 7 years ago46213a9
  34. Add a 'staging area' to contextsEdwin Brady committed 7 years agobfe78ba
  35. Basic TTC saving and loading now worksEdwin Brady committed 7 years ago762f601

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