This is used to represent number in the bruijn programming language [1] [2]. [1] https://text.marvinborner.de/2023-04-06-01.html https://text.marvinborner.de/2

This is used to represent number in the bruijn programming language [1] [2]. [1] https://text.marvinborner.de/2023-04-06-01.html https://text.marvinborner.de/2023-04-06-01.html [2] https://bruijn.marvinborner.de/ https://bruijn.marvinborner.de/