Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Emacs
Network Profile
118
reputation
8

Keith Pinson

profile for Kazark on Stack Exchange, a network of free, community-driven Q&A sites

  • I was the 680th user to earn the Copy Editor badge.
  • I was the 880th user to earn the Marshal badge.
1
answer
1
question
~122
people reached

Communities (65)

Top Network Posts

Top Tags (5)

Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2

Top Posts (2) All Questions Answers | Votes Newest

1 How to load an Idris file that depends on a package? Jul 4 '18
1 How to load an Idris file that depends on a package? Jan 12

Badges (8)

Gold

—

Silver

—

Bronze

8

Rarest