Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dannywillems/RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
dependent-types module ocaml records subtype
Last synced: 10 May 2024
