Login
From:
PolyWolf's Blog
(Uncensored)
subscribe
Lean 4 Is A Cool Language
https://wolfgirl.dev/blog/7506895/
links
backlinks
Tagged with:
lean4
Originally published on Cohost. Initially, I had planned on writing pwcc in Lean 4, and this post was part of that exploratory process.
Roast topics
Find topics
Find it!
