Emacs
Network profile
123
reputation
8

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.
1
answer
1
question
~149
people reached

Communities (66)

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

2 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