dune-project / dune-typetree Goto Github PK
View Code? Open in Web Editor NEWTypeTree Library for trees of statically typed objects. This is a mirror repository - development happens on https://gitlab.dune-project.org/
Home Page: https://www.dune-project.org
License: Other