Toot

Written by Artyom Bologov (t?he(y|m)?) on 2025-01-23 at 23:02

[#]TIL that there's a #LambdaCalculus based language called brujin (for obvious reasons) and that it's absolutely unreadable! The standard library and the amount of work that went into it is extremely impressive though, so go give it a read:

https://bruijn.marvinborner.de/

and show some love to Marvin Borner, the creator of brujin!

I'm stealing parts of it (like Maybe monad) into #Lamber, my own applicative #LambdaCalculus compiling #Lua like language.

[#]theWorkshop #theLibrary

=> More informations about this toot | View the thread | More toots from aartaka@merveilles.town

Mentions

Tags

=> View thelibrary tag | View theworkshop tag | View lua tag | View lamber tag | View lambdacalculus tag | View til tag