Continue working on removing SCE. Have some questions:
What are "tau operations"? What does "tau prefix" mean?
And what about those nasty
warnings (necessary simplification) in genTauCheckNull etc?

Reply via email to