/elsa-lambda-calculus-mode

Major Mode for Elsa, a tiny Lambda Caclulus Evaluator

Primary LanguageEmacs LispGNU Affero General Public License v3.0AGPL-3.0

Watchers