Code

History

Commits on master to libs/base/Data35+
  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 some Strings functionsEdwin Brady committed 6 years ago34802b9
  6. Some Racket CG fixesEdwin Brady committed 6 years ago21507e6
  7. Move buffer API to CEdwin Brady committed 6 years ago7adb4d3
  8. Convert buffers to new FFIEdwin Brady committed 6 years ago16f6a25
  9. Check and add transform rulesEdwin Brady committed 6 years ago449f29b
  10. Make Traversable (Vect k) public export.Matus Tejiscak committed 6 years ago633f51c
  11. Unify names.Matus Tejiscak committed 6 years agob534893
  12. Use idiom brackets in Traversable (Vect k).Matus Tejiscak committed 6 years agoe0e1cb9
  13. Export the implementation of Traversable (Vect k).Matus Tejiscak committed 6 years agocab5497
  14. Move takeBefore/takeUntil to Data.StreamEdwin Brady committed 6 years agod0a9f9e
  15. Implement occurs check properly (finally!)Edwin Brady committed 6 years agoff86f6f
  16. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  17. Merge pull request #245 from ziman/stable-sortEdwin Brady committed 6 years ago7c0581a
  18. Merge pull request #243 from deviant-forks/intercalate-listEdwin Brady committed 6 years ago04c63b5
  19. Allow setting logging mid termEdwin Brady committed 6 years ago7ff1e62
  20. Fix comment.Matus Tejiscak committed 6 years agofcdfa8e
  21. Add comments.Matus Tejiscak committed 6 years ago9154a9b
  22. Make sortBy stable.Matus Tejiscak committed 6 years ago2b264d0
  23. Add `intercalate` for `Data.List`Marshall Bowers committed 6 years ago5b1e8bf
  24. A couple of library functionsEdwin Brady committed 6 years agod666ed5
  25. Add delete and union to Data.ListEdwin Brady committed 6 years agob5b9372
  26. Add nub to Data.ListEdwin Brady committed 6 years ago625027f
  27. More Data.List functionsEdwin Brady committed 6 years ago6f4fa7a
  28. Add Data.List.isPrefixEdwin Brady committed 6 years ago7d47c08
  29. Add strIndex and strTailEdwin Brady committed 6 years ago284a3de
  30. Some buffer updatesEdwin Brady committed 6 years ago2465e5a
  31. Some Data.Buffer bitsEdwin Brady committed 6 years ago854e399
  32. Added Data.IOArrayEdwin Brady committed 6 years agobb6cefc
  33. Better approach to erasure in pattern matchingEdwin Brady committed 6 years ago04e4ebf
  34. Merge pull request #156 from clayrat/misc-fixesEdwin Brady committed 6 years agoea8c221
  35. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years agoce15b48

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