Code

History

Commits on master to libs/base35+
  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. A bit more library supportEdwin Brady committed 6 years agob0e55b5
  6. Fix comment.Matus Tejiscak committed 6 years agofcdfa8e
  7. Add comments.Matus Tejiscak committed 6 years ago9154a9b
  8. Make sortBy stable.Matus Tejiscak committed 6 years ago2b264d0
  9. Add `intercalate` for `Data.List`Marshall Bowers committed 6 years ago5b1e8bf
  10. A couple of library functionsEdwin Brady committed 6 years agod666ed5
  11. Add delete and union to Data.ListEdwin Brady committed 6 years agob5b9372
  12. Add 'new1' to Control.AppEdwin Brady committed 6 years ago5bc11e4
  13. Improve linearity in Control.AppEdwin Brady committed 6 years ago2584379
  14. Basic support for struct in FFIEdwin Brady committed 6 years agoa5c356f
  15. Small documentation updatesEdwin Brady committed 6 years agob83f01e
  16. Add Control.App to baseEdwin Brady committed 6 years ago52e6a4f
  17. Add directory reading functionsEdwin Brady committed 6 years ago66d67c8
  18. Add nub to Data.ListEdwin Brady committed 6 years ago625027f
  19. Add System.DirectoryEdwin Brady committed 6 years ago8227859
  20. Store name directives as a mapEdwin Brady committed 6 years agoe1c6926
  21. More Data.List functionsEdwin Brady committed 6 years ago6f4fa7a
  22. Add Data.List.isPrefixEdwin Brady committed 6 years ago7d47c08
  23. Add System.InfoEdwin Brady committed 6 years ago960ad42
  24. Add strIndex and strTailEdwin Brady committed 6 years ago284a3de
  25. Some buffer updatesEdwin Brady committed 6 years ago2465e5a
  26. Some Data.Buffer bitsEdwin Brady committed 6 years ago854e399
  27. Added Data.IOArrayEdwin Brady committed 6 years agobb6cefc
  28. Use a data type for dotting reasonEdwin Brady committed 6 years agoa26581f
  29. Better approach to erasure in pattern matchingEdwin Brady committed 6 years ago04e4ebf
  30. Merge pull request #156 from clayrat/misc-fixesEdwin Brady committed 6 years agoea8c221
  31. Merge remote-tracking branch 'upstream/master' into misc-fixesAlex Gryzlov committed 6 years agoce15b48
  32. Create a contrib directory in the standard libraryOhad Kammar committed 6 years agobe90749
  33. Add uniqueSearch data type optionEdwin Brady committed 6 years ago663e1b8
  34. Merge pull request #167 from ska80/unwords+unlines/idris1Edwin Brady committed 6 years agoebb1ec3
  35. Merge pull request #159 from ska80/integral-natEdwin Brady committed 6 years ago0c4301d

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