me when someone defines a normal form as a term with no beta redexes and expects me to do anything with that information

· · Web · 1 · 0 · 3

the year is 2023 please give me a positive definition for normal forms i will cry

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.