The Bruijn language is a really cool language that takes some of theae ideas to the extreme and fundamentals. Variables aren't named, they are beta reduced and

The Bruijn language is a really cool language that takes some of theae ideas to the extreme and fundamentals. Variables aren't named, they are beta reduced and referred to by abstraction level. https://text.marvinborner.de/2023-04-06-01.html https://text.marvinborner.de/2023-04-06-01.html