Skip to content
Pro
Block or report user

Report or block bandali0

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@vanilla-music @emacsconf @emacsel @unitb
Block or report user

Report or block bandali0

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. dotfiles Archived

    [OUTDATED] repository now located at https://git.sr.ht/~bandali/dotfiles

    Makefile 4

  2. Library & CLI for converting TeX and LaTeX to PNG images

    Haskell 2

20 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2019

Created a pull request in leanprover/lean-mode that received 1 comment

fix(lean-eri): remove runtime require of cl

The 'cl' package has been deprecated in favor of cl-lib 0, and requiring it during runtime results in a warning.

1 comment

Created an issue in lujun9972/el-dmenu that received 3 comments

Be smarter about saving history

As of now, even my incomplete command names are added to the history. For instance, to launch thunar I often just type thun, and I’ve noticed that …

3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.