Idris.Core.Execute

execute