Cosmetics: remove some unused functions (Parser) - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.41k stars 339 forks source link

Cosmetics: remove some unused functions (Parser) #7141

Closed andreasabel closed 4 months ago

andreasabel commented 4 months ago

[ clean ] Remove some unused Parser Helpers
[ clean ] remove underLambdas and underAbs