egison: Programming language with non-linear pattern-matching against unfree data types
[ compilers-interpreters, library, mit, program ] [ Propose Tags ]
An interpreter for Egison, the programming langugage that realized non-linear pattern-matching with unfree data types. With Egison, you can represent pattern-matching with unfree data types intuitively, especially for collection data, such as lists, multisets, sets. You can find Egison programs in "lib" and "sample" directories. This package also include Emacs Lisp file "egison-mode.el" in "elisp/" directory.
- egison-3.2.12.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees