Lambda-mode version 0.22

This page provides an implementation of variable name completion for a core functional language with let polymorphism in Emacs-mode. The lambda-mode is implemented based on the algorithm in the paper:

How to download and how to use

Download lambda-mode-0.22.tar.gz, unzip and untar it, and then follow the instructions in README file.

Screenshot

Old versions


Back to the top page