futhark-0.20.0: An optimising compiler for a functional, array-oriented language.