# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1268951881 -3600
# Node ID e1c74b864b1bf1f09ec6ac164cf34535f788f022
# Parent  926245dd5b53a638820f44331d5b31364dfb16be
added item about size functions

diff -r 926245dd5b53 -r e1c74b864b1b TODO
--- a/TODO	Thu Mar 18 22:06:28 2010 +0100
+++ b/TODO	Thu Mar 18 23:38:01 2010 +0100
@@ -3,6 +3,8 @@
 - maybe <type>_perm whould be called permute_<type>.simps;
   that would conform with the terminology in Nominal2
 
+- we also need to lift the size function for nominal
+  datatypes
 
 Bigger things: