Skip to content

Latest commit

 

History

History
31 lines (25 loc) · 660 Bytes

CONTRIBUTORS.md

File metadata and controls

31 lines (25 loc) · 660 Bytes

The following people have contributed to RedPRL and its theoretical underpinnings, in no particular order:

  • Jon Sterling
  • Danny Gratzer
  • Eugene Akentyev
  • James Wilcox
  • David Christiansen
  • Darin Morrison
  • Favonia
  • Evan Cavallo
  • Carlo Angiuli

We also thank the following people for their contributions to previous versions of JonPRL:

  • Danny Gratzer
  • Vincent Rahli
  • David Christiansen
  • Darin Morrison
  • James Wilcox

Special thanks to David Christiansen for answering all my obnoxious questions about Emacs.

Finally, we thank the following people for their guidance and encouragement:

  • Bob Harper
  • Mark Bickford
  • Bob Constable
  • Peter Dybjer