*.sl linguist-language=SyGuS
*.pest linguist-language=Rust
