Save what matters. Make sense of it together.
@adler.dev
⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
