1 Jul
2008
1 Jul
'08
4:32 p.m.
In trying to explain something, I wrote: (Omitted $(encT 1000)) and (Omitted $(encT "hello")) but I meant (Omitted $(encT [|1000|]) and (Omitted $(encT [|"hello"|]). I.e. encT is a (monomorphic) function of type (Q Exp -> Q Type), as specified in my original message.