/docs/design/
../
001-operation-semantics.md
002-memory-lifetime.md
003-module-contract.md
004-prepared-connections.md
005-field-connections.md
006-native-protocol.md
007-execution-domains.md
008-module-format.md
009-layout.md
010-surfaces.md
011-pure-transport.md
012-link-protocol.md
013-memory-budget.md
014-fields-by-name.md
015-boundary-meaning.md
016-bool-and-i64.md
017-apps-on-one-host.md
018-lifetimes-and-computation.md
019-pushing-views.md
020-computing-faster.md
021-past-c.md
022-arrays-and-registers.md
abi-v0.h
check-abi-layout.py
validation