/snarxiv

The context-free grammar defining the snarXiv (http://snarxiv.org)

Primary LanguagePerl

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.