2 search results for "tag:"date:2015-06-14""

Showing 1 - 2
  1. coq-io-evaluate

    No documentation

    Generic functions to run effects
    date:2015-06-14 keyword:effects
    Guillaume Claret
    1.0.0
    MIT
    Used by 1 other packages
    14 May 2019
  2. coq-io-exception

    No documentation

    Abstract your errors into exceptions
    date:2015-06-14 keyword:effects logpath:Io
    Guillaume Claret
    1.1.0
    MIT
    Used by 1 other packages
    13 May 2019