michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • 5821dc621c Change .travis.yaml Wen Kokke 2020-07-02 20:52:33 +0100
  • d9249935c0 Fix problem in Makefile Wen Kokke 2020-07-02 20:11:43 +0100
  • 69b89e8d1f Moving things to .travis.yaml Wen Kokke 2020-07-02 20:10:16 +0100
  • 660e558299 Major changes to Makefile Wen Kokke 2020-07-02 19:53:24 +0100
  • 871052e49b Full path to Lua Wen Kokke 2020-07-02 19:33:20 +0100
  • 968676147a Specify lua-dir. Wen Kokke 2020-07-02 19:31:55 +0100
  • b76a105cce Check luarocks version. Specify lua version on rocks install. Wen Kokke 2020-07-02 19:29:52 +0100
  • 06205deaa7 Update Lua config Wen Kokke 2020-07-02 19:18:06 +0100
  • 840d93deef Install Lua 5.3 Wen Kokke 2020-07-02 19:12:58 +0100
  • f510d870ff Debugging travis build. Wen Kokke 2020-07-02 16:19:57 +0100
  • 8f0b55b4ae Minor fix. Wen Kokke 2020-07-02 16:15:54 +0100
  • cfec58a2ba Install lua packages locally Wen Kokke 2020-07-02 16:09:36 +0100
  • 5728f68076 Install packages to lua_modules/, add to path if found. Wen Kokke 2020-07-02 15:46:48 +0100
  • 0b4df68fba Added EPUB build to Travis Wen Kokke 2020-07-02 13:40:12 +0100
  • 95b976ed1b Minor fix. Wen Kokke 2020-07-02 13:33:54 +0100
  • 96a9d45a0d Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-07-02 12:26:53 +0000
  • 2f8418a8c2 Luarocks install local Wen Kokke 2020-07-02 13:14:07 +0100
  • 6edc6e5b85 Fix #487 Wen Kokke 2020-07-02 13:06:24 +0100
  • ce40f1d96f Updated EPUB instructions in README. Wen Kokke 2020-07-02 13:04:58 +0100
  • c76940cbb5 Moved generated acknowledgements to out/epub. Wen Kokke 2020-07-02 13:02:27 +0100
  • 353ff35644
         Merge pull request #485 from mreed20/epubcheck Wen Kokke 2020-07-02 10:17:27 +0100
  • be2478905f
         Merge pull request #484 from mreed20/epub-acknowledgements-new Wen Kokke 2020-07-02 10:16:30 +0100
  • 4e837c0975 run-liquid.lua: Add error checking and file output parameter Michael Reed 2020-07-01 17:08:19 -0400
  • 2e6e53d60a Review: Add instructions for building the EPUB Michael Reed 2020-07-01 11:58:46 -0400
  • 54f7d9a90a Review: Don't build EPUB by default for now Michael Reed 2020-07-01 10:57:15 -0400
  • f749859d25 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-06-29 14:55:47 +0000
  • 024a62d29f Fix remaining epubcheck warnings Michael Reed 2020-06-28 20:20:39 -0400
  • 99aa26401f EPUB: Populate acknowledgements.md with contributors Michael Reed 2020-06-19 11:21:00 -0400
  • 254afe675e Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-06-23 17:04:47 +0000
  • 36ef980840 updated index with Ghica course wadler 2020-06-23 17:53:06 +0100
  • 2a5565dca9 updated home page wadler 2020-06-23 17:41:28 +0100
  • 9faa62d28f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-22 14:54:34 +0000
  • 64647e305d Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-19 13:04:33 +0000
  • 80ba7fdfec Changed acknowledgements. Wen Kokke 2020-06-19 13:53:29 +0100
  • e8672e216c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-19 12:51:46 +0000
  • f1296fbd3b Changed acknowledgements. Wen Kokke 2020-06-19 13:40:29 +0100
  • 7ba085ea96 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-18 11:44:37 +0000
  • 1d4913d89f Fix Dedication. Wen Kokke 2020-06-18 12:33:18 +0100
  • b49a93b8e7 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-18 07:37:44 +0000
  • 8469ed41cb Changed layout in Dedication. Wen Kokke 2020-06-18 08:26:14 +0100
  • b5974fa9f4 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-18 07:09:28 +0000
  • 9a8f8c1bb2
         Merge pull request #481 from mreed20/rewrite-links Wen Kokke 2020-06-18 07:57:47 +0100
  • 3c667f3f9b Review: typo and neater regex Michael Reed 2020-06-17 20:00:36 -0400
  • 75654740b3 EPUB: Fix broken links Michael Reed 2020-06-17 19:38:26 -0400
  • b2b8b324af Moved epub-specific files to epub folder. Wen Kokke 2020-06-16 16:10:10 +0100
  • c87f028cee Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-16 11:24:05 +0000
  • 9aec0c0253 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-16 11:12:44 +0000
  • 356b340e51 Removed old index file. Wen Kokke 2020-06-16 12:02:25 +0100
  • d04f594b1f Fixed bug in epub embedded fonts. Wen Kokke 2020-06-16 12:01:19 +0100
  • 52ba104a54 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-16 10:59:51 +0000
  • a5c7db8162 Adding only mononoki, from assets directory. Wen Kokke 2020-06-16 11:49:06 +0100
  • cc2a30c6df Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-16 10:24:08 +0000
  • 9dad13717d Fix pandoc install on Travis Wen Kokke 2020-06-16 11:12:50 +0100
  • 631798263e
         Merge pull request #479 from mreed20/pandoc Wen Kokke 2020-06-16 11:06:44 +0100
  • 5857550a43 Revert "Add internal link checker" Michael Reed 2020-06-15 18:42:39 -0400
  • e790ed3b92 Fail on pandoc warnings Michael Reed 2020-06-15 18:32:06 -0400
  • 1d6a0c3ca3 Review: Hook the EPUB build up to Travis Michael Reed 2020-06-15 18:31:31 -0400
  • 75c6db936b epub.css: Remove false note. Michael Reed 2020-06-15 17:49:43 -0400
  • dbed30c659 Add internal link checker Michael Reed 2020-06-15 14:24:29 -0400
  • 02bf885d6b epub.css: Remove empty rules Michael Reed 2020-06-15 14:21:56 -0400
  • ed33201f61 epub.css: Fix path to embedded fonts Michael Reed 2020-06-15 12:34:06 -0400
  • 031ad315b3 Review: Cleanup epub target Michael Reed 2020-06-15 11:36:49 -0400
  • feea0a57d2 Review: Makefile: "make clean" should not remove the .epub Michael Reed 2020-06-15 11:18:11 -0400
  • 3a9845dd3c Review: Makefile: Embed all fonts in fonts directory Michael Reed 2020-06-15 11:16:38 -0400
  • a045f2f8a8 Review: Remove stray copy of DejaVuSansMono.ttf Michael Reed 2020-06-15 11:15:08 -0400
  • ca466e91f5 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2020-06-15 14:47:05 +0000
  • 55c7a10e23 Add EPUB creation to the build Michael Reed 2020-06-07 20:45:49 -0400
  • 3f6dac8c9c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2020-06-08 14:45:40 +0000
  • 18c035f87c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2020-06-08 07:54:59 +0000
  • 44fb26193f
         Merge pull request #478 from mdimjasevic/lambda-highlighting-1 Philip Wadler 2020-06-08 08:43:25 +0100
  • 3673bc8d26
         Lambda: fix highlighting of bindings in the text Marko Dimjašević 2020-06-07 22:38:34 +0200
  • 20f09143a4 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Philip Wadler (via Travis CI) 2020-06-07 09:35:22 +0000
  • 2b0f229c93
         Merge pull request #477 from mdimjasevic/prop-line-break Philip Wadler 2020-06-07 10:23:55 +0100
  • fed1bc2610
         Properties: fix the rendering of a highlighted expression by removing a line break in the expression Marko Dimjašević 2020-06-06 21:04:25 +0200
  • 16652490b1 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-06-04 14:08:20 +0000
  • 47cb1433db new verion of the book! beta.md -> index.md Jeremy Siek 2020-06-04 09:57:27 -0400
  • 4809ee6051 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-06-02 09:45:08 +0000
  • 8013d91afb
         Pragmatic note on matching against decidable equality Wen Kokke 2020-06-02 10:33:48 +0100
  • eed237f38f Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-06-01 14:46:34 +0000
  • be409e8bb7 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-05-29 13:30:08 +0000
  • 406918768d more publishing stuff wadler 2020-05-29 10:17:50 -0300
  • 07934be2b5 merge wadler 2020-05-29 10:17:10 -0300
  • 23a84b75d3 publishing info and final pdf wadler 2020-05-29 10:16:30 -0300
  • 6f780ca074 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-05-25 14:51:29 +0000
  • eb6e9d93c5 Fix small error Wen Kokke 2020-05-22 20:46:40 +0100
  • 5ae6438e8f Restructured Getting Started. Wen Kokke 2020-05-22 20:45:35 +0100
  • 51d0f4f31c Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Wen Kokke (via Travis CI) 2020-05-22 17:33:39 +0000
  • 6700cf597d Rewrote Getting Started to provide instructions for installing a specific version of Agda. Wen Kokke 2020-05-22 18:21:25 +0100
  • 8d59de6394 Added rewrite of Inference by Prabhakar Wen Kokke 2020-05-22 15:50:50 +0100
  • 7eea42d370 Minor changes in highlight script. Wen Kokke 2020-03-10 17:39:00 +0000
  • 54a0253877 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-05-20 13:18:39 +0000
  • 2983fba5aa Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy G. Siek (via Travis CI) 2020-05-20 13:14:46 +0000
  • 5bfc503eec remove second premise from cong-rename Jeremy Siek 2020-05-20 09:05:06 -0400
  • bfff5d01cb
         Merge pull request #474 from L-TChen/patch-1 Jeremy G. Siek 2020-05-20 09:03:04 -0400
  • 33f0f64624
         Fix cong-rename Liang-Ting Chen 2020-05-20 16:12:54 +0800
  • c75413d649 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-05-18 14:51:53 +0000
  • 4796d6d665 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master wadler (via Travis CI) 2020-05-11 15:27:58 +0000
  • 0a99b734ba added line about imports for exercises to preface wadler 2020-05-11 12:17:04 -0300
  • cb6ffb4e1e Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-05-11 14:44:49 +0000
  • d52a10ef30 Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master Jeremy Siek (via Travis CI) 2020-05-06 19:14:04 +0000