East of Eden : parallel functional programming in Idris - Brown, Christopher Mark; Barwell, Adam David; University of St Andrews.School of Computer Science (2025)