Emerald: A programming language </>