Merge branch 'masters/rusthornbelt' into xldenis/pldi-submission

README.md

_CoqProject

theories/typing/array_util.v

theories/typing/examples/derived_rules.v

theories/typing/examples/inc_vec.v

theories/typing/lib/cell.v

theories/typing/lib/maybe_uninit.v

theories/typing/lib/panic.v

theories/typing/lib/slice/array_slice.v

theories/typing/lib/slice/iter.v

theories/typing/lib/slice/slice.v

theories/typing/lib/slice/slice_basic.v

theories/typing/lib/slice/slice_split.v

theories/typing/lib/smallvec/smallvec_basic.v

theories/typing/lib/smallvec/smallvec_index.v

theories/typing/lib/smallvec/smallvec_slice.v

theories/typing/lib/vec/vec.v

theories/typing/lib/vec/vec_basic.v

theories/typing/lib/vec/vec_index.v

theories/typing/lib/vec/vec_slice.v