Haskell-powered Unmanned Vehicles: the Copilot DSL for embedded systems | Heykuki News