Code

History

Commits on master to libs/base35+
  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 missing export modifier to ExitCodeEdwin Brady committed 6 years agoa302be3
  6. Add chmod to System.FileEdwin Brady committed 6 years agodebe5f6
  7. More system functionsEdwin Brady committed 6 years ago263d5fa
  8. Add some Strings functionsEdwin Brady committed 6 years ago34802b9
  9. Some Racket CG fixesEdwin Brady committed 6 years ago21507e6
  10. Fix and test directory codeEdwin Brady committed 6 years agodc67515
  11. Move Concurrency.Raw to new FFIEdwin Brady committed 6 years ago18dff43
  12. Add idris_crash functionEdwin Brady committed 6 years ago9a0608b
  13. Move putChar, getChar etc primitives to CEdwin Brady committed 6 years ago1b36dd9
  14. Move directory code to CEdwin Brady committed 6 years ago2d1d7be
  15. Move more support code to CEdwin Brady committed 6 years agocadd7e1
  16. Add some more file operationsEdwin Brady committed 6 years ago3ab68fb
  17. Move file management to C support libraryEdwin Brady committed 6 years ago38e43f2
  18. Move buffer API to CEdwin Brady committed 6 years ago7adb4d3
  19. Convert buffers to new FFIEdwin Brady committed 6 years ago16f6a25
  20. Apply transformation rulesEdwin Brady committed 6 years ago0dc486a
  21. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  22. Merge pull request #337 from ziman/traversable-vectEdwin Brady committed 6 years ago7322327
  23. readFile needs a newlineEdwin Brady committed 6 years ago30b609d
  24. Make Traversable (Vect k) public export.Matus Tejiscak committed 6 years ago633f51c
  25. Unify names.Matus Tejiscak committed 6 years agob534893
  26. Use idiom brackets in Traversable (Vect k).Matus Tejiscak committed 6 years agoe0e1cb9
  27. Export the implementation of Traversable (Vect k).Matus Tejiscak committed 6 years agocab5497
  28. Move takeBefore/takeUntil to Data.StreamEdwin Brady committed 6 years agod0a9f9e
  29. Merge pull request #316 from abdelq/masterEdwin Brady committed 6 years agocbd88c9
  30. Implement occurs check properly (finally!)Edwin Brady committed 6 years agoff86f6f
  31. Add missing FileExists in toFileErrorAbdelhakim Qbaich committed 6 years ago55bc68a
  32. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  33. Merge pull request #245 from ziman/stable-sortEdwin Brady committed 6 years ago7c0581a
  34. Merge pull request #243 from deviant-forks/intercalate-listEdwin Brady committed 6 years ago04c63b5
  35. Allow setting logging mid termEdwin Brady committed 6 years ago7ff1e62

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