Emacs
Profile Activity
Network profile
177
reputation
11

Keith Pinson

profile for Kazark on Stack Exchange, a network of free, community-driven Q&A sites http://stackexchange.com/users/flair/443137.png

  • I was the 680th user to earn the Copy Editor badge.
  • I was the 880th user to earn the Marshal badge.
2
answers
4
questions
~2k
people reached

Communities (68)

Top network posts

Top tags (15)

Score 1
Posts 5
Posts % 83
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 1
View all tags →

Top posts (6)

All Questions Answers
Votes Newest
3 How to load an Idris file that depends on a package? Jul 4 '18
1 Skip over remaining errors in current file to next error in next file May 5
1 LSP sometimes working with Metals, sometimes spamming “the request has been cancelled” Jan 14
1 Org mode subtitle not being exported to pdf Jan 2
1 How to load an Idris file that depends on a package? Jan 12 '19
0 How to search certain subdirectories of directories that are ignored by Git Jan 21

Badges (11)

Gold

—

Silver

—

Bronze

11

Rarest

View all badges →