Code

History

Commits on master to libs/base/Data35+
  1. Allow flagging types as externally definedEdwin Brady committed 6 years ago69a7640
  2. Merge pull request #245 from ziman/stable-sortEdwin Brady committed 6 years ago7c0581a
  3. Merge pull request #243 from deviant-forks/intercalate-listEdwin Brady committed 6 years ago04c63b5
  4. Allow setting logging mid termEdwin Brady committed 6 years ago7ff1e62
  5. Fix comment.Matus Tejiscak committed 6 years agofcdfa8e
  6. Add comments.Matus Tejiscak committed 6 years ago9154a9b
  7. Make sortBy stable.Matus Tejiscak committed 6 years ago2b264d0
  8. Add `intercalate` for `Data.List`Marshall Bowers committed 6 years ago5b1e8bf
  9. A couple of library functionsEdwin Brady committed 6 years agod666ed5
  10. Add delete and union to Data.ListEdwin Brady committed 6 years agob5b9372
  11. Add nub to Data.ListEdwin Brady committed 6 years ago625027f
  12. More Data.List functionsEdwin Brady committed 6 years ago6f4fa7a
  13. Add Data.List.isPrefixEdwin Brady committed 6 years ago7d47c08
  14. Add strIndex and strTailEdwin Brady committed 6 years ago284a3de
  15. Some buffer updatesEdwin Brady committed 6 years ago2465e5a
  16. Some Data.Buffer bitsEdwin Brady committed 6 years ago854e399
  17. Added Data.IOArrayEdwin Brady committed 6 years agobb6cefc
  18. Better approach to erasure in pattern matchingEdwin Brady committed 6 years ago04e4ebf
  19. Merge pull request #156 from clayrat/misc-fixesEdwin Brady committed 6 years agoea8c221
  20. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years agoce15b48
  21. Create a contrib directory in the standard libraryOhad Kammar committed 6 years agobe90749
  22. Merge pull request #167 from ska80/unwords+unlines/idris1Edwin Brady committed 6 years agoebb1ec3
  23. Merge pull request #159 from ska80/integral-natEdwin Brady committed 6 years ago0c4301d
  24. Merge pull request #148 from msmorgan/list-replicateEdwin Brady committed 6 years ago050fcfa
  25. Merge pull request #143 from ohad/bugfix-#133Edwin Brady committed 6 years ago468555b
  26. Merge pull request #147 from msmorgan/list-zipEdwin Brady committed 6 years ago2621770
  27. Merge branch 'master' into bugfix-#133Edwin Brady committed 6 years agod9f1b01
  28. Add unwords and unlines to base/Data.Strings from Idris 1Kamil Shakirov committed 6 years ago8afad8e
  29. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years ago1652a6b
  30. Add implementation of Integral for NatKamil Shakirov committed 7 years ago15f6e86
  31. add some lib fuctions from Idris1Alex Gryzlov committed 7 years agof0ca75b
  32. Add replicate to base/Data.List.Michael Morgan committed 7 years ago9190ccf
  33. Add zip functions to base/Data.List.Michael Morgan committed 7 years ago2a014d1
  34. Add tail-recursive versions for most of the Data.List functionsOhad Kammar committed 7 years agofd980bc
  35. Remove trailing whitespace from Idris sources.Michael Morgan committed 7 years agoe6121e0

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