SCappella questions

SCappella answers

• Rust, Copy Trait not working with a type when it uses generic
• Rust macro repetition with plus
• I get a expected type parameter, even though I think I have returned the correct type data
• Rust recursive macro not working for generating struct
• Problems with lifetime/borrow on str type
• Using different lifetimes in struct implementations
• How do lifetimes in Rust impact mutability?
• Type : Type in Coq
• Coq simpl / unfold only once. (Replace part of goal with the result of one iteration of a function.)
• What do ellipses mean in a Coq proof?