Major Mode for Elsa, a tiny Lambda Caclulus Evaluator
Primary LanguageEmacs LispGNU Affero General Public License v3.0AGPL-3.0