The pattern-matching-oriented pure functional programming language Egison version 3