October 27th, 2008

beartato phd

(no subject)

Finally found the twelf bug I think that was causing Anders's coverage problem. Turns out we weren't actually carrying out inverse substitutions on substitutions inside LVars during inversion and pruning.