-
Notifications
You must be signed in to change notification settings - Fork 58
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Basic citation support - Convert git authors to an oracle cache. When you need to rebuild a lot of pages, this can get quite slow, so useful to save between runs. - Add a bibliography to the source tree (with a single citation in) and get Pandoc to read that. - Do some massaging to the parsed Markdown/HTML to put the references block at the very end of the page (after footnotes). Also patch up citation links to include the paper's title: [Steele 2017](#ref-Steele2017) becomes [Steele 2017](#ref-Steele2017 "It’s Time for a New Old Language") Closes #68 * Take a more structured approach to references Basically try to parse our references from the tree Pandoc produces (it's gross, I know, but otherwise we need to copy a lot of Pandoc's internal logic) and then emit them within the template itself.
- Loading branch information
Showing
5 changed files
with
114 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,19 @@ | ||
@article{Steele2017, | ||
author = {Steele, Guy L.}, | ||
title = {It's Time for a New Old Language}, | ||
year = {2017}, | ||
issue_date = {August 2017}, | ||
publisher = {Association for Computing Machinery}, | ||
address = {New York, NY, USA}, | ||
volume = {52}, | ||
number = {8}, | ||
issn = {0362-1340}, | ||
url = {https://doi.org/10.1145/3155284.3018773}, | ||
doi = {10.1145/3155284.3018773}, | ||
abstract = {The most popular programming language in computer science has no compiler or interpreter. Its definition is not written down in any one place. It has changed a lot over the decades, and those changes have introduced ambiguities and inconsistencies. Today, dozens of variations are in use, and its complexity has reached the point where it needs to be re-explained, at least in part, every time it is used. Much effort has been spent in hand-translating between this language and other languages that do have compilers. The language is quite amenable to parallel computation, but this fact has gone unexploited.In this talk we will summarize the history of the language, highlight the variations and some of the problems that have arisen, and propose specific solutions. We suggest that it is high time that this language be given a complete formal specification, and that compilers, IDEs, and proof-checkers be created to support it, so that all the best tools and techniques of our trade may be applied to it also.}, | ||
journal = {SIGPLAN Not.}, | ||
month = {jan}, | ||
pages = {1}, | ||
numpages = {1}, | ||
keywords = {programming languages, specifications, compilers} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -17,6 +17,7 @@ executable shake | |
Agda, | ||
blaze-html, | ||
bytestring, | ||
citeproc, | ||
containers, | ||
deepseq, | ||
directory, | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters