27 Mar
2013
27 Mar
'13
3: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(a)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.