SeLFiE: `Some` as syntactic sugar?

data61 / PSL

Other

65 stars 9 forks source link

SeLFiE: `Some` as syntactic sugar? #89

Closed yutakang closed 5 years ago

yutakang commented 5 years ago

Do we really need Some in Eval_Quantifier_Core_Sig.ML? If we treat Some as syntactic sugar, what implication does this treatment have in terms of fast feature extraction?

yutakang commented 5 years ago

Yes. I treat it as syntactic sugar.