[emacs/lean-mode] use forward slash "/" as the prefix for lean-input
[~bandali/configs] / lib /
drwxr-xr-x   ..
m--------- - alert
m--------- - all-the-icons
m--------- - alloy-mode
m--------- - anzu
m--------- - async
m--------- - auto-compile
m--------- - borg
m--------- - boxquote
m--------- - circe
m--------- - closql
m--------- - company
m--------- - counsel-notmuch
m--------- - crux
m--------- - dante
m--------- - dash
m--------- - deferred
m--------- - diff-hl
m--------- - doom-modeline
m--------- - edit-indirect
m--------- - eink-theme
m--------- - eldoc-eval
m--------- - elisp-refs
m--------- - emacsql
m--------- - emmet-mode
m--------- - emojify
m--------- - epkg
m--------- - epl
m--------- - exec-path-from-shell
m--------- - f
m--------- - flycheck
m--------- - flycheck-haskell
m--------- - ghub
m--------- - git-modes
m--------- - graphql
m--------- - haskell-mode
m--------- - helm
m--------- - helpful
m--------- - highlight-indent-guides
m--------- - hlint-refactor
m--------- - ht
m--------- - hydra
m--------- - ivy
m--------- - json-mode
m--------- - json-reformat
m--------- - json-snatcher
m--------- - lcr
m--------- - lean-mode
m--------- - loop
m--------- - magit
m--------- - magit-popup
m--------- - markdown-mode
m--------- - memoize
m--------- - mmm-mode
m--------- - mwim
m--------- - nix-mode
m--------- - no-littering
m--------- - notmuch
m--------- - oauth2
m--------- - org
m--------- - orgalist
m--------- - other-frame-window
m--------- - ox-hugo
m--------- - packed
m--------- - pdf-tools
m--------- - pkg-info
m--------- - popup
m--------- - projectile
m--------- - proof-site
m--------- - request
m--------- - s
m--------- - shell-pop
m--------- - shrink-path
m--------- - shut-up
m--------- - slack
m--------- - smex
m--------- - tablist
m--------- - treepy
m--------- - typo
m--------- - undo-tree
m--------- - unkillable-scratch
m--------- - use-package
m--------- - web-mode
m--------- - websocket
m--------- - which-key
m--------- - winum
m--------- - with-editor
m--------- - yaml-mode
m--------- - yasnippet