Awesome

elsa.vim

This plugin implements syntax highlighting for Elsa, a lambda calculus evaluator.

Install using your plugin manager of choice. For example, using vim-plug:

Plug 'glapa-grossklag/elsa.vim'

Concealing

If you'd like to conceal \x -> x as λx -> x, add the following lines to your Vim configuration file.

let g:elsa_conceal = v:true
set conceallevel=2

Screenshots