An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming language with a static type system. We can directly represent pattern-matching against lists, multisets, sets, trees, graphs and any kind of data types. Egison 5 introduces a static type system with type classes, inductive data types, type inference, and type annotations, while preserving the expressive pattern-matching of Egison 4. We can find Egison programs in lib and sample directories. This package also include Emacs Lisp file emacs/egison-mode.el. We can do non-linear pattern-matching against non-free data types in Egison. An non-free data type is a data type whose data have no canonical form, a standard way to represent that object. It enables us to write elegant programs. Please enjoy Egison!