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
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
