4 ms·
you just type the text "lambda". some editors (emacs, drracket) can automatically convert it to lambda the symbol.
by linhchi 10y ago
you just type the text "lambda".
some editors (emacs, drracket) can automatically convert it to lambda the symbol.