From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 9 Mar 2013 10:19:21 +0000 (+0100)
Subject: Extend the interface with a fold function (over the structure
X-Git-Tag: v0.1~156
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=c711ac43406b5d9bcb4856b0cb68789f48f461e7;hp=c711ac43406b5d9bcb4856b0cb68789f48f461e7;p=tatoo.git

Extend the interface with a fold function (over the structure
of the formula).
---