
27 Mar
2013
27 Mar
'13
2:01 p.m.
On 27/03/2013 10:45, Guillaume Lazzara wrote:
diff --git a/milena/ChangeLog b/milena/ChangeLog index 116e287..1b7691e 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,3 +1,10 @@ +2013-03-27 Guillaume Lazzara <z@lrde.epita.fr> + + Add constant Boolean functions. + + * mln/fun/v2b/always_false.hh, + * mln/fun/v2b/always_true.hh: New.
I added similar functions a while ago (mln::fun::p2b::tautology and mln::fun::p2b::antilogy). We should factor these.