Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Bruijn

< >
home edit

Bruijn is a programming language created in 2022 by Marvin Borner.

#1818on PLDB 2Years Old
Download source code:
git clone https://github.com/marvinborner/bruijn
Homepage · Source Code · Docs

Functional programming language based on pure de Bruijn indexed lambda calculus. Lambdas all the way down. No primitive functions.


Example from the web:
pow [index (iterate (mul 0) (+1))] …**… pow :test ((+2) ** (+3) =? (+8)) (true)

Language features

Feature Supported Example Token
Standard Library ✓

- Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0