Write documentation for ortac-dune plugin - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

36 stars 10 forks source link

Write documentation for ortac-dune plugin #199

Open n-osborne opened 6 months ago

n-osborne commented 6 months ago

Self-explanatory :-)