Lambda-mode version 0.20

This page provides an implementation of variable name completion for a core functional language with let polymorphism in Emacs-mode. We are planning to put the syntax of the language here later.

How to download and how to use

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

Screenshot

Old versions

lambda-mode-0.10

Back to the top page