Hello! I'm the creator of Egison. Would you tell me what your project like? I got an idea of Egison when I was working with logic expressions. Pattern-matching

Hello! I'm the creator of Egison. Would you tell me what your project like? I got an idea of Egison when I was working with logic expressions. Pattern-matching of the existing languages are not strong enough to do what I'd like to do. They can't express pattern-matching against set intuitively. Therefore, I've created Egison.