2 Mar
2011
2 Mar
'11
6:02 p.m.
2011/3/2 Yves Parès
Is what I'm trying to do a common technique to type-ensure contexts or are there simpler methods?
I don't understand your problem well enough to be able to venture a solid opinion on this. Sorry! What you have detailed so far doesn't sound too complex, though. Max