source/docs/internal/wiki-archive · verus · Tangled

forked from verus-lang/verus

verus source docs internal wiki-archive

8 files

Andrea Lattuada · update wiki archive, fix windows build due to invalid Windows paths · 2y ago

Deprecated-and-recommended-syntax-and-upcoming-changes.md

update wiki archive, fix windows build due to invalid Windows paths

Add 'source/docs/internal/wiki-archive/' from commit 'd430a76084d75a164326c2a81e54562544927048'

Add 'source/docs/internal/wiki-archive/' from commit 'd430a76084d75a164326c2a81e54562544927048'

Notes-on-Rust-ghost-types.md

Add 'source/docs/internal/wiki-archive/' from commit 'd430a76084d75a164326c2a81e54562544927048'

update wiki archive, fix windows build due to invalid Windows paths

Status-currently-supported-Rust-features.md

update wiki archive, fix windows build due to invalid Windows paths

Verus-Retreat-2023.md

Add 'source/docs/internal/wiki-archive/' from commit 'd430a76084d75a164326c2a81e54562544927048'

Verus-Retreat-2024.md

Add 'source/docs/internal/wiki-archive/' from commit 'd430a76084d75a164326c2a81e54562544927048'

README.md

This is an archive of the outdated files from the Wiki.

This content is either out-of-date or has been moved elsewhere.