1 search result for "tag:"date:2019-07-25""

Showing 1 - 1
  1. coq-io-system-ocaml

    No documentation

    Extraction to OCaml of system effects
    date:2019-07-25 keyword:effects keyword:extraction
    Guillaume Claret
    2.3.1
    MIT
    Used by 2 other packages
    26 Jul 2019