Code

History

Commits on master to src/TTImp/Interactive35+
  1. newtype optimisationEdwin Brady committed 6 years ago471a472
  2. Rabbit holeEdwin Brady committed 6 years agoed5b53d
  3. Make sure we only insert 'Delay' at the top levelEdwin Brady committed 6 years ago946881d
  4. Update proof tutorial for Idris 2Edwin Brady committed 6 years ago1bb028a
  5. Add default implicit argumentsEdwin Brady committed 6 years ago2a2a208
  6. Tweak expression search heuristicEdwin Brady committed 6 years ago84faedb
  7. Unification tweak for getting lambda typesEdwin Brady committed 6 years ago413d09d
  8. Simpler implementation of 'case'Edwin Brady committed 6 years ago722131f
  9. Store name directives as a mapEdwin Brady committed 6 years agoe1c6926
  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. Merge branch 'master' of github.com:edwinb/Idris2Edwin Brady committed 6 years ago2e9eabf
  14. Make sure Force is erased for termination checkerEdwin Brady committed 7 years agoca3ea38
  15. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  16. Fix buffer sizing problem in TTCsEdwin Brady committed 7 years ago15d25eb
  17. Make sure hole names are uniqueEdwin Brady committed 7 years agoe6cf936
  18. Store invertibility in definition, not holeEdwin Brady committed 7 years ago4f4d4cc
  19. Add records in their own namespaceEdwin Brady committed 7 years agoe5a71e7
  20. Improve 'with' implementationEdwin Brady committed 7 years ago11199ac
  21. Add flag for whether a hole is an unbound implicitEdwin Brady committed 7 years ago2767244
  22. Allow ambiguity when chasing parent interfacesEdwin Brady committed 7 years ago40d9235
  23. More base librariesEdwin Brady committed 7 years ago0051488
  24. Make sure matches are not too specificEdwin Brady committed 7 years ago99dac56
  25. Need to update full names in metadataEdwin Brady committed 7 years agoaebb8dd
  26. Pay attention to visibility of namesEdwin Brady committed 7 years ago0a15c2c
  27. Process name directives from TTCEdwin Brady committed 7 years ago1a333a4
  28. Store names in full in ttcEdwin Brady committed 7 years ago7ba57cf
  29. Look for case splits under As patternsEdwin Brady committed 7 years ago2cdfac4
  30. Block reduction of private/export namesEdwin Brady committed 7 years ago1be12c7
  31. Defer erasure/run-time case treesEdwin Brady committed 7 years ago8f38601
  32. Remove AppInfoEdwin Brady committed 7 years ago2f7aa69
  33. Store type search hints separatelyEdwin Brady committed 7 years ago94cc2a0
  34. Some fixes for as patterns, add them implicitlyEdwin Brady committed 7 years ago5a3aa3b
  35. Record mutual type definitionsEdwin Brady committed 7 years agobf67f5c

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