marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 468: Added monadic operator (return, bind) to ListExtra. Also added a generic list constructor, named ...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Thu, 19 Mar 2020 20:18:25 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 468
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: ocamlbricks
timestamp: Wed 2019-04-24 11:22:44 +0200
message:
  Added monadic operator (return, bind) to ListExtra. Also added a generic list constructor, named `make', related to the transitive closure of a state successor function.
modified:
  EXTRA/listExtra.ml
  EXTRA/listExtra.mli


--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk

Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription