Tighten Lambdapi pattern#8018

nickswalker wants to merge 4 commits into

github-linguist:maingithub-linguist/linguist:mainfrom

nickswalker:tighten-lambdapi-patternnickswalker/linguist:tighten-lambdapi-patternCopy head branch name to clipboard