[aeonik]

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