├── .gitignore ├── .ocamlformat ├── CHANGES.md ├── README.md ├── dune-project ├── examples ├── dune ├── generalised_signatures.ml ├── hashtbl.ml ├── indexable.ml └── monads.ml └── generalised_signatures.opam /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- 1 | ### Unreleased 2 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/dune-project -------------------------------------------------------------------------------- /examples/dune: -------------------------------------------------------------------------------- 1 | (library 2 | (public_name generalised_signatures)) 3 | -------------------------------------------------------------------------------- /examples/generalised_signatures.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/examples/generalised_signatures.ml -------------------------------------------------------------------------------- /examples/hashtbl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/examples/hashtbl.ml -------------------------------------------------------------------------------- /examples/indexable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/examples/indexable.ml -------------------------------------------------------------------------------- /examples/monads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/examples/monads.ml -------------------------------------------------------------------------------- /generalised_signatures.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/craigfe/generalised-signatures/HEAD/generalised_signatures.opam --------------------------------------------------------------------------------