Commits : Listings
Analyzed
1 day
ago.
based on code collected
1 day
ago.
|
Apr 19, 2024
—
Apr 19, 2025
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| Revise Prime_map operations related to merge. |
|
More... | 9 months ago | |||
| Import Stdlib.Option into Unprime_option.Option. |
|
More... | 9 months ago | |||
| Add Prime_syntax module with n-ary composition binders. |
|
More... | 9 months ago | |||
| Rename Prime_option.{fold => comp} to avoid clash with stdlib. |
|
More... | 9 months ago | |||
| Deprecate ident, konst, and finally from Prime. |
|
More... | 10 months ago | |||
| Convert test suite to alcotest. |
|
More... | 10 months ago | |||
| Adjust coding style. |
|
More... | 10 months ago | |||
