Index of /opal

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      proposal.html           2016-11-28 14:47  154K  
      proposal.dimx           2016-11-28 14:47   17K  
      proposal.bib            2016-11-28 14:47  7.6K  
      proposal-math-plain...> 2016-11-28 14:47  111   
      proposal-math-plain.log 2016-11-28 14:47   27K  
      proposal-math-plain...> 2016-11-28 14:47  2.3K  
      proposal-math-plain.dvi 2016-11-28 14:47   12K  
      proposal-math-plain.dim 2016-11-28 14:47  1.0K  
      proposal-math-plain.aux 2016-11-28 14:47  659   
      proposal-math-full.f..> 2016-11-28 14:47  651   
      proposal-bib.final.aux  2016-11-28 14:47  1.4K  
      proposal-bib.bib.json   2016-11-28 14:47   13K  
      proposal-bib.bbl.mdk    2016-11-28 14:47   14K  
      proposal-bib.aux        2016-11-28 14:47  1.4K  
      math/                   2016-11-28 14:47    -   
      search.html             2016-10-24 16:12   16K  
      report.html             2016-10-24 16:12   48K  
      report-math-plain.tex   2016-10-24 16:12  707   
      report-math-full.tex    2016-10-24 16:12  588   
      plans.html              2016-10-24 16:12   15K  
      plans-math-plain.tex    2016-10-24 16:12  811   
      plans-math-full.tex     2016-10-24 16:12  587   
      plans-bib.aux           2016-10-24 16:12  175   
      paper-structure.html    2016-10-24 16:12   16K  
      opal.html               2016-10-24 16:12   52K  
      opal-bib.final.aux      2016-10-24 16:12  298   
      opal-bib.aux            2016-10-24 16:12  298   
      madoko2.sty             2016-10-24 16:12   39K  
      lang.html               2016-10-24 16:12   43K  
      lang-bib.aux            2016-10-24 16:12  178   
      incremental.html        2016-10-24 16:12   23K  
      goals.html              2016-10-24 16:12   54K  
      features.html           2016-10-24 16:12   13K  
      choices.html            2016-10-24 16:12   31K  
      choices-bib.aux         2016-10-24 16:12  177   
      opal.bib                2016-06-29 14:16  284   
      opal-bib.bib.json       2016-06-29 14:16  532   
      opal-bib.bbl.mdk        2016-06-29 14:16  715   
      search-bib.aux          2016-04-08 15:36  176   
      options.sty             2016-01-26 17:31   49K  
      longfbox.sty            2016-01-26 17:31   59K  
      longbox.sty             2016-01-26 17:31   30K  
      madoko.css              2015-11-14 17:21  9.8K  
      ellipse.sty             2015-11-14 17:21  9.7K

To build the paper, you'll need LaTeX, of course, but also Madoko:

First, to use Madoko, you need Node (a JavaScript runtime). Head to the Node homepage and download whichever installer (I don't think the version matters).
Once Node is installed, install Madoko by typing the command npm install -g madoko. (npm is the package manager for Node.)

Now you can build the paper by typing make in this docs directory. You can also use make view to also open the resulting PDF, pdf/opal.pdf, for viewing.

Madoko can also output HTML if you're into that; just type make html or make view-html.