Intersection now correct and less verbose
authorThibault Suzanne <thi.suzanne@gmail.com>
Thu, 3 Jan 2013 20:39:19 +0000 (21:39 +0100)
committerThibault Suzanne <thi.suzanne@gmail.com>
Thu, 3 Jan 2013 20:39:19 +0000 (21:39 +0100)
commitf5a669bae4c0ac74a928694a513d16d017bae37c
tree286fb4eb3e126e19b3abc9a7a5264669dcb47e5e
parentfa2a3c763c0681ca1f99af84adb89d60c45f1fb9
Intersection now correct and less verbose
hamt.ml
hamt.mli