Jake Gillberg organized a collaborative learning group around the pi calculus in April 2018. This repository is for the slides and other materials supporting the study group.
| Lesson | Date | Content | Readings | Links |
|---|---|---|---|---|
| 1 | 27 April 2018 | Pi Calculus, Intro and Grammar | Milner's Tutorial, Ch. 1-2 | recording, google slides (used in the presentation), reveal slides (corrected, collaborative slides) |
| 2 | 04 May 2018 | Pi Calculus, Structural Equivalence and Reduction | Milner's Tutorial, 2.3 - 3.2 | recording, slides |
| 3 | 11 May 2018 | Rho Calculus, Language Specification | Meredith's Introduction, Ch. 1-2 | recording part 1, recording part 2, slides |
| 4 | 18 May 2018 | Rholang, Specification | Rholang Spec 0.2, Rholang Grammar | recording, notes file |
| 5 | 25 May 2018 | Rholang Demo, Modsplan | recording, rchain.cloud, modsplan |
Slides are written in markdown format and saved in files named like lesson1.md They are converted to reveal.js format via pandoc. There is significant room for improvement in visual presentation.
pandoc --standalone --katex --to revealjs --slide-level 2 --output lesson1.html lesson1.md
--standalonegenerates a complete document including headers--katexrenders latex equations using nicely--to revealjsspecifies the reveal.js output format. (Other formats may be supported later; see below)--slide-level 2Uses second-level headings to create 2d slideshow in reveal.js--output lesson1.htmlspecifies the output file namelesson1.mdis the input markdown file to be processed
Some good references for how to use pandoc to make great slides.
- http://benschmidt.org/2014/11/07/building-outlines-for-markdown-documents-with-pandoc/
- https://andrewgoldstone.com/blog/2014/12/24/slides/
- http://pandoc.org/
TODO: Choose a license