Skip to content

Commit

Permalink
Merge pull request #271 from tmcgilchrist/patch-3
Browse files Browse the repository at this point in the history
Update links to ocaml-ci and capnp-ocaml
  • Loading branch information
avsm committed May 18, 2023
2 parents 0ee2a3e + c6e9813 commit a21ddc6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Expand Up @@ -1536,15 +1536,15 @@ In future, more properties should be tested (e.g. forked references, that messag
We should also test with some malicious vats (that don't follow the protocol correctly).

[schema]: https://capnproto.org/language.html
[capnp-ocaml]: https://github.com/pelzlpj/capnp-ocaml
[capnp-ocaml]: https://github.com/capnproto/capnp-ocaml
[Cap'n Proto]: https://capnproto.org/
[Cap'n Proto RPC Protocol]: https://capnproto.org/rpc.html
[E-Order]: http://erights.org/elib/concurrency/partial-order.html
[E Reference Mechanics]: http://www.erights.org/elib/concurrency/refmech.html
[pycapnp]: http://jparyani.github.io/pycapnp/
[Persistence API]: https://github.com/capnproto/capnproto/blob/master/c%2B%2B/src/capnp/persistent.capnp
[Mirage]: https://mirage.io/
[ocaml-ci]: https://github.com/ocaml-ci/ocaml-ci
[ocaml-ci]: https://github.com/ocurrent/ocaml-ci
[api]: https://mirage.github.io/capnp-rpc/
[NETWORK]: https://mirage.github.io/capnp-rpc/capnp-rpc-net/Capnp_rpc_net/S/module-type-NETWORK/index.html
[calc_direct.ml]: ./test-bin/calc_direct.ml

0 comments on commit a21ddc6

Please sign in to comment.