Code

History

Commits on master to src/Utils21
  1. Fix buffer allocation errorEdwin Brady committed 6 years ago884d4ad
  2. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years agoce15b48
  3. Merge branch 'master' into bugfix-#133Edwin Brady committed 6 years agod9f1b01
  4. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years ago1652a6b
  5. misc fixes and refactoringsAlex Gryzlov committed 7 years ago148698e
  6. Fix a stack overflow with a tail recursive list integer length functionOhad Kammar committed 7 years ago7e8642e
  7. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0
  8. Support UTF8 stringsEdwin Brady committed 7 years ago1a4f424
  9. Don't save type of scrutinee in caseEdwin Brady committed 7 years ago110d20b
  10. Fix buffer sizing problem in TTCsEdwin Brady committed 7 years ago15d25eb
  11. fix file handle leaksAlex Gryzlov committed 7 years agoe7aafcc
  12. No longer any need for NameRefsEdwin Brady committed 7 years agof77ef81
  13. Save definitions as BinaryEdwin Brady committed 7 years ago2df399a
  14. Add TTC interface BinaryEdwin Brady committed 7 years agoc21918e
  15. Slightly simpler binary writingEdwin Brady committed 7 years ago76e2bd3
  16. Remove AppInfoEdwin Brady committed 7 years ago2f7aa69
  17. Added Idris.DesugarEdwin Brady committed 7 years ago5bbab03
  18. A bit more on performanceEdwin Brady committed 7 years ago6385cb6
  19. Basic TTC saving and loading now worksEdwin Brady committed 7 years ago762f601
  20. Fill in holes for reading/writing TTCEdwin Brady committed 7 years ago9e7e27e
  21. Make a start on TTC reading/writingEdwin Brady committed 7 years agoe2594e9

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