From 8ea885d6edc237b9313eb921d2850e4e295f57f4 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 24 Sep 2008 15:59:52 +0000 Subject: [PATCH] ... --- helm/software/components/ng_kernel/TODO | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO index 5852d9b52..4511bbae0 100644 --- a/helm/software/components/ng_kernel/TODO +++ b/helm/software/components/ng_kernel/TODO @@ -1,2 +1,4 @@ muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match in are_convertible togliere il caso Prop,Prop in quanto catturato da === +in are_convertible togliere il caso Meta,Meta in quanto catturato da === +in are_convertible caso Meta,Meta non fare lift ma accorcia il ctx -- 2.39.2