https://github.com/mbarbin/nonempty-list
Repackaging core_kernel.nonempty_list as a standalone package for using with Base
https://github.com/mbarbin/nonempty-list
Last synced: about 1 year ago
JSON representation
Repackaging core_kernel.nonempty_list as a standalone package for using with Base
- Host: GitHub
- URL: https://github.com/mbarbin/nonempty-list
- Owner: mbarbin
- License: mit
- Created: 2023-11-09T21:48:53.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-06-06T07:59:25.000Z (about 1 year ago)
- Last Synced: 2025-06-06T08:35:33.811Z (about 1 year ago)
- Language: OCaml
- Homepage: https://mbarbin.github.io/nonempty-list/
- Size: 68.4 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
Awesome Lists containing this project
README
# nonempty-list
[](https://github.com/mbarbin/nonempty-list/actions/workflows/ci.yml)
This library offers a repackaging of `Core_kernel`'s `Nonempty_list`, as a standalone opam package for using with Base.
Original code at https://github.com/janestreet/core_kernel/tree/master/nonempty_list
The code was slightly modified in order to remove dependencies into `Core` and solely depend on `Base` instead, making it available in more contexts, without requiring to add a dependency into `Core` and `Core_kernel`.
## Code Documentation
The code documentation of the latest release is built with `odoc` and published to `GitHub` pages [here](https://mbarbin.github.io/nonempty-list).