References for Rust, Idris and Magpie.