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

A composition of inlineAggressively and removeDeadFunctions, to avoid the cost of type-checking the intermediate stage.
removeDeadFunctions prog removes the functions that are unreachable from the main function from the program.