Skip to content

Latest commit

 

History

History
31 lines (24 loc) · 1.15 KB

README.md

File metadata and controls

31 lines (24 loc) · 1.15 KB

Grammar Definition for the snarXiv

The file snarxiv.gram contains a context-free grammar that produces randomly generated titles and abstracts for high energy theoretical physics papers. See

compile-grammar is a perl script that compiles a .gram file into OCaml code, which can be compiled into an executable and run. Type make to run both compilation steps.

Requirements

Perl and OCaml.

Bonus Grammar: Random Theorems

thm.gram is the grammar for the theorem generator (originally authored by Matt Gline). When compiled and run, it produces LaTeX code which can be typeset by LaTeX, provided thmheader.tex is included at the top of the file. Requires Paul Taylor's Diagrams package.