Talk:Numeric termination metrics

From The Twelf Project

Jump to: navigation, search

I stole this code from Karl's Comp+Ded class. Does anyone remember off-hand which cases actually use the metric? I don't want to have to do them until I find one that does. Drl 17:13, 15 March 2007 (EDT)

Retrieved from "http://twelf.org/wiki/Talk:Numeric_termination_metrics"
Personal tools