Lucid: A programming language </>