Jannis Limperg
Results
33
comments of
Jannis Limperg
FYI, Agda uses the following syntaxes (the second having been introduced recently) for pattern matching lambdas: ```Agda toy toy' : ℕ → ℕ → Bool toy = λ { zero...
Fair. Have you looked into any of the Emacs HTML modules? (Emacs Application Framework seems to be the most developed one.)
Caused by core: leanprover/lean4#2131