bwdversion
Backward lists
This OCaml package defines backward lists that are isomorphic to lists. They are useful when one wishes to give a different type to the lists that are semantically in reverse. In our experience, it is easy to miss List.rev or misuse List.rev_append when both semantically forward and backward lists are present. With backward lists having a different type, it is impossible to make those mistakes.
Author | The RedPRL Development Team |
---|---|
License | Apache-2.0 |
Published | |
Homepage | https://github.com/RedPRL/ocaml-bwd |
Issue Tracker | https://github.com/RedPRL/ocaml-bwd/issues |
Maintainer | favonia <favonia@gmail.com> |
Dependencies |
|
Source [http] | https://github.com/RedPRL/ocaml-bwd/archive/refs/tags/2.2.0.tar.gz md5=d13a7edebd2be0aa0b612c4feae10b3d sha512=08a56e65215e1696616532b10c7b59d187c532ee4317453c50fdff0b6dad32d19f06c3559fc582b5937051475ed9d32837102dc0cc16cd255005452e1bfe8251 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bwd/bwd.2.2.0/opam |
Required by
- asai
- mugenwith-test
- yuujinchou>=3.0.0