marvinborner / bruijn

Programming with pure lambda calculus
100Updated this week

Alternatives and similar repositories for bruijn:

Users that are interested in bruijn are comparing it to the libraries listed below