ocaml-bwd
ocaml-bwd copied to clipboard
RedPRL
🔙 Backward lists for OCaml
I am curious why the decision was made for `Bwd.map`, `Bwd.iter`, and so on to operate from right to left rather than from left to right. This is counterintuitive to...
The LLVM exceptions, though not tested in a court yet, should provide better compatibility with GPL 2.0 and several license exceptions. In particular, from my naive reading, they should provide...
Currently, `Bwd.append` has type `'a bwd -> 'a list -> 'a bwd`; this isn't consistent with the API for lists, which has a homogenous `List.append : 'a list -> 'a...
See #31 for discussion.
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. Release notes Sourced from actions/checkout's releases. v5.0.0 What's Changed Update actions checkout to use node 24 by @salmanmkc in actions/checkout#2226 Prepare v5.0.0 release by...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}