Code

History

Commits on master to src/Yaffle34
  1. Literate programmingMarc Petit-Huguenin committed 7 years ago7ea39af
  2. Faster generation of SchemeEdwin Brady committed 6 years agob94c31a
  3. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  4. add sourcedir optionAlex Gryzlov committed 7 years ago54ac723
  5. Set fresh name counter on loading Main ttcEdwin Brady committed 7 years agod053a18
  6. Store names in full in ttcEdwin Brady committed 7 years ago7ba57cf
  7. Defer erasure/run-time case treesEdwin Brady committed 7 years ago8f38601
  8. Add command line option to invoke yaffleEdwin Brady committed 7 years ago9d2067e
  9. Added Idris.MainEdwin Brady committed 7 years agoc6a7050
  10. Record mutual type definitionsEdwin Brady committed 7 years agobf67f5c
  11. Add termination checkingEdwin Brady committed 7 years ago95cc48e
  12. Calculate missing cases via coverage checkerEdwin Brady committed 7 years ago2c62028
  13. Add definition generationEdwin Brady committed 7 years ago109dcf0
  14. First attempt at expression searchEdwin Brady committed 7 years agobf70aa0
  15. Add Metadata typeEdwin Brady committed 7 years ago2b38ce0
  16. Move options out of Core and into DefsEdwin Brady committed 7 years ago871ca66
  17. First attempt at linearity checking passEdwin Brady committed 7 years ago8081b03
  18. Check holes are solved after elaborationEdwin Brady committed 7 years ago9bd063b
  19. Add NestedNames argument throughout elaboratorEdwin Brady committed 7 years ago8d6d0c6
  20. Store resolved ids in pattern namesEdwin Brady committed 7 years ago46213a9
  21. Add operations on primitivesEdwin Brady committed 7 years ago664008d
  22. Added test framework (copied from Blodwen)Edwin Brady committed 7 years ago77bf4c7
  23. Add TTImp.UnelabEdwin Brady committed 7 years agoef36ea1
  24. Add a 'staging area' to contextsEdwin Brady committed 7 years agobfe78ba
  25. Initial implementation of auto implicit searchEdwin Brady committed 7 years ago29a41ed
  26. Add simple REPL for TTImpEdwin Brady committed 7 years ago6d47301
  27. Add timing logsEdwin Brady committed 7 years agoe592f54
  28. Basic TTC saving and loading now worksEdwin Brady committed 7 years ago762f601
  29. More progress on TTCsEdwin Brady committed 7 years agoa48d90f
  30. FOUR!!!1!!!Edwin Brady committed 7 years ago63da191
  31. Refine order of elaboration of argumentsEdwin Brady committed 7 years ago9611431
  32. Implement inferLambdaEdwin Brady committed 7 years ago56c0ec5
  33. Some unifiation infrastructureEdwin Brady committed 7 years ago8b98a5c
  34. Add a main program which processes a source fileEdwin Brady committed 7 years ago0f8d337

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