Code

History

Commits on master to src/TTImp/ProcessType.idr35+
  1. Syntax for flagging arguments to specialiseEdwin Brady committed 6 years ago2a81bd9
  2. Simplify the definition of `processFnOpt`Ohad Kammar committed 6 years ago9da96dd
  3. Decouple totality annotations from `IFnOpt` using the existing `TotalReq` valueOhad Kammar committed 6 years agob7ba1a9
  4. Reorganise implicit bindingEdwin Brady committed 6 years ago6c0747c
  5. Change multiplicity when inferring ->Edwin Brady committed 6 years ago6cda854
  6. Add syntax for 'using' blocksEdwin Brady committed 6 years ago118ea78
  7. Better approach to erasure in pattern matchingEdwin Brady committed 6 years ago04e4ebf
  8. Some fixes in time logging codeEdwin Brady committed 6 years agob8a8f0e
  9. Add impossibility flag to ErasedEdwin Brady committed 6 years agofe74d6b
  10. Allow expressions in %foreign directivesEdwin Brady committed 6 years ago9fe236d
  11. Reorganise Language.Reflection modulesEdwin Brady committed 6 years agoaae3d0f
  12. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  13. Record erasable args in definitionsEdwin Brady committed 7 years agoa38cce4
  14. Experimenting with a new FFIEdwin Brady committed 7 years agobb246a0
  15. Add :m/:metavars command to REPLEdwin Brady committed 7 years ago010ec7a
  16. Unbound implicits are invertible in termsEdwin Brady committed 7 years ago8e9655d
  17. Fix coverage checker issueEdwin Brady committed 7 years agocda87a9
  18. Finish adding interactive tests from BlodwenEdwin Brady committed 7 years agoe6292ac
  19. Check names are visible/publicEdwin Brady committed 7 years ago67a43e0
  20. Some TTC/Delay fixesEdwin Brady committed 7 years ago4bc87b4
  21. Only write out names which are actually usedEdwin Brady committed 7 years agodcae2c3
  22. Defer erasure/run-time case treesEdwin Brady committed 7 years ago8f38601
  23. Update makefiles and pathsEdwin Brady committed 7 years ago2c1c866
  24. Store type search hints separatelyEdwin Brady committed 7 years ago94cc2a0
  25. Add more of the high level stuffEdwin Brady committed 7 years ago2e2622c
  26. Record editing metadata and interface hashesEdwin Brady committed 7 years agoa05c656
  27. Add Metadata typeEdwin Brady committed 7 years ago2b38ce0
  28. Elaborate 'with' blocksEdwin Brady committed 7 years ago6c88bfe
  29. Added record declarationsEdwin Brady committed 7 years ago22a5286
  30. Improve auto search to support interfacesEdwin Brady committed 7 years ago628a7bd
  31. First attempt at linearity checking passEdwin Brady committed 7 years ago8081b03
  32. Check holes are solved after elaborationEdwin Brady committed 7 years ago9bd063b
  33. Add NestedNames argument throughout elaboratorEdwin Brady committed 7 years ago8d6d0c6
  34. Store resolved ids in pattern namesEdwin Brady committed 7 years ago46213a9
  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