A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
Primary LanguageVim scriptGNU Lesser General Public License v2.1LGPL-2.1