support for some with named function and reduce#172

namin merged 1 commit into

mainmidspiral/LemmaScript:mainfrom

some-reducemidspiral/LemmaScript:some-reduceCopy head branch name to clipboard