by shoe_ _\;^-.-^;/_ _bum @shoebum.bsky.social
contents
October 16, 2025
Superficial Stuff If I want to write a logging function in lean how would DX of such a function look. In the book, meta-programming in lean, there is a nice diagram.