Zoea – Composable Inductive Programming
zoea.co.uk