modest cleanup in narrow.ts#156

namin merged 1 commit into

mainmidspiral/LemmaScript:mainfrom

narrow-cleanupmidspiral/LemmaScript:narrow-cleanupCopy head branch name to clipboard