Follow
me when someone defines a normal form as a term with no beta redexes and expects me to do anything with that information
me when someone defines a normal form as a term with no beta redexes and expects me to do anything with that information
the year is 2023 please give me a positive definition for normal forms i will cry