An attempt at generating Tromp diagrams for closed lambda terms. I learned about these from What is PLUS times PLUS? by 2swap (great content, highly recommend).
Note
This currently depends on raylib. Make sure you have it installed (or just use Nix).
Using nob.h (requires clang, but feel free to change nob.c to use gcc or something else).
cc -I./include -o nob nob.c
./nob && ./build/tromp
Or with nix (I am aware this kind of defeats the point of nob but oh well)
nix build .#
nix run .#
Note
Nix downloads its own nob.h.