A symbolic derivatives calculator for functions from R^n -> R^m written in Idris