Code

History

Commits on master to libs35+
  1. Fix building the latest self-hosted Idris 2Kamil Shakirov committed 6 years ago27006bc
  2. Update Buffer+File librariesEdwin Brady committed 6 years agoc197c0f
  3. Don't collapse empty lines in 'lines'Edwin Brady committed 6 years agoba9f14a
  4. Switch buffers back to scheme FFIEdwin Brady committed 6 years agoa130952
  5. Add foldlMEdwin Brady committed 6 years ago463f1b3
  6. Add Show for EitherEdwin Brady committed 6 years ago1acbf1b
  7. Add missing export modifier to ExitCodeEdwin Brady committed 6 years agoa302be3
  8. Merge pull request #370 from ska80/fix-makefilesEdwin Brady committed 6 years ago4c35210
  9. Switch to List Char for the lexerEdwin Brady committed 6 years ago79d52c5
  10. Check bounds on substringEdwin Brady committed 6 years ago560449e
  11. Add chmod to System.FileEdwin Brady committed 6 years agodebe5f6
  12. More system functionsEdwin Brady committed 6 years ago263d5fa
  13. Add some Strings functionsEdwin Brady committed 6 years ago34802b9
  14. Some Racket CG fixesEdwin Brady committed 6 years ago21507e6
  15. Fix and test directory codeEdwin Brady committed 6 years agodc67515
  16. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years ago0e7e053
  17. Update CHANGELOG and CONTRIBUTORSEdwin Brady committed 6 years ago5285b36
  18. Move Concurrency.Raw to new FFIEdwin Brady committed 6 years ago18dff43
  19. Add idris_crash functionEdwin Brady committed 6 years ago9a0608b
  20. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years ago9826295
  21. Refactor makefiles to use some common optionsKamil Shakirov committed 6 years ago2ad471a
  22. Move putChar, getChar etc primitives to CEdwin Brady committed 6 years ago1b36dd9
  23. Merge branch 'master' into fix-makefilesKamil Shakirov committed 6 years ago8261b36
  24. Move directory code to CEdwin Brady committed 6 years ago2d1d7be
  25. Move more support code to CEdwin Brady committed 6 years agocadd7e1
  26. Add some more file operationsEdwin Brady committed 6 years ago3ab68fb
  27. Move file management to C support libraryEdwin Brady committed 6 years ago38e43f2
  28. Fix building shared libraries with correct extensionsKamil Shakirov committed 6 years ago1c8036d
  29. Do another round of inlining, and io_bindEdwin Brady committed 6 years agoe7d0b33
  30. Move buffer API to CEdwin Brady committed 6 years ago7adb4d3
  31. Convert buffers to new FFIEdwin Brady committed 6 years ago16f6a25
  32. Add transformation rules for top level methodsEdwin Brady committed 6 years agob617cae
  33. Apply transformation rulesEdwin Brady committed 6 years ago0dc486a
  34. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  35. Merge branch 'master' into system.clockEdwin Brady committed 6 years ago5a81884

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