Lambda-mode version 0.21
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:
-
Takumi Goto,
Isao Sasano,
An approach to completing variable names for implicitly typed functional languages,
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
(PEPM 2012),
Philadelphia, Pennsylvania, USA, January 23-24, 2012.
How to download and how to use
Download
lambda-mode-0.21.tar.gz,
unzip and untar it, and then follow the instructions in README file.
Screenshot
Old versions
Back to the top page