Add a utility function Boolean.iter that iterates a function over a formula.

[tatoo.git] / Makefile.in

all:
%:
        @ ./remake -j $@