Commit graph

5 commits

Author SHA1 Message Date
Simon Cruanes
a636c73f6d renamed Graph to PersistentGraph, not to collide with OCamlGraph 2013-06-13 15:17:52 +02:00
Simon Cruanes
b70c94377e fixed .odocl and minor stuff 2013-06-12 17:36:59 +02:00
Simon Cruanes
3d199eeffb PiCalculus module, to emulate the Pi-calculus concurrency model;
it uses only one thread on one machine though
2013-05-20 19:17:20 +02:00
Simon Cruanes
20097ddae3 Bij module, a try at the serialization problem using GADT 2013-05-14 18:32:23 +02:00
Simon Cruanes
85b3ca233b target for documentation of some modules 2013-04-03 00:01:52 +02:00