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