...

diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO
index 5852d9b522c3fa0e745178b9d38d8271d08ab474..4511bbae0e5ff53353992fee4630389d434fe20a 100644 (file)
--- 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