Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
108 stars 40 forks source link

Ocamlformat all the ml code in the repo, update dune and .gitignore settings #677

Closed antoinepouille closed 9 months ago