text to types :: digital garden
Search
Search
Dark mode
Light mode
Explorer
Tag: topic-specifications
2 items with this tag.
Jun 01, 2026
Link - If It Compiles, It Is Correct
link
blog-article
learning
topic-specifications
topic-lean-pl
topic-software-verification
Mar 30, 2026
The Next Era of Programming Languages - Specifications
topic-prog-lang
blog-post-draft
topic-ai
topic-specifications