Emacs Stack Exchange
Emacs Stack Exchange

Lev Lamberov
83
reputation
7
  • Yekaterinburg, Russia
  • Member since January 04 2017
  • 0 profile views
  • Last seen Dec 25 '21 at 06:12

Some arbitrary code: Python, Perl, Prolog, Haskell, Agda, Coq... Mostly academic stuff.