Wen Kokke
|
f331b37077
|
Cache ~/.ghcup.
|
2021-09-02 13:57:57 +01:00 |
|
Wen Kokke
|
9780deb997
|
Attempt to split up stack build.
|
2021-09-02 13:52:44 +01:00 |
|
Wen Kokke
|
f62da73cd4
|
Operation timed out. Restarting workflow in parts.
|
2021-09-02 13:40:53 +01:00 |
|
Wen Kokke
|
6cf717b152
|
Remove cache operations for Haskell, since they're included in haskell/actions/setup.
|
2021-09-01 21:19:25 +01:00 |
|
Wen Kokke
|
70c9a61de9
|
Changed cache id to match site builder name.
|
2021-09-01 21:17:01 +01:00 |
|
Wen Kokke
|
b100c017c6
|
Cache site builder separately.
|
2021-09-01 21:16:38 +01:00 |
|
Wen Kokke
|
19eca137ae
|
Abbreviated task ids.
|
2021-09-01 21:01:07 +01:00 |
|
Wen Kokke
|
c8d5f77c0e
|
Added key for cache-htmlproofer.
|
2021-09-01 20:56:20 +01:00 |
|
Wen Kokke
|
115547830d
|
Minor changes.
|
2021-09-01 20:46:42 +01:00 |
|
Wen Kokke
|
b612ae8a39
|
Minor updates to workflow.
|
2021-09-01 20:43:54 +01:00 |
|
Wen Kokke
|
638cbcdd00
|
Add Agda version to matrix.
|
2021-09-01 20:20:35 +01:00 |
|
Wen Kokke
|
ab6ee861d8
|
Ensure Makefile is loud.
|
2021-09-01 20:16:43 +01:00 |
|
Wen Kokke
|
53847909eb
|
Cache .cabal, .ghc, and .ghcup.
|
2021-09-01 20:06:09 +01:00 |
|
Wen Kokke
|
db61ac1c18
|
Fixed stack file after accidentially messing with it.
|
2021-09-01 20:03:30 +01:00 |
|
Wen Kokke
|
d697a4f322
|
Edited makefile and workflow to use system GHC.
|
2021-09-01 20:02:55 +01:00 |
|
Wen Kokke
|
a40bd03d35
|
Switch workflow back to macOS.
|
2021-09-01 19:50:38 +01:00 |
|
Wen Kokke
|
ac07fbf973
|
Switch workflow to Ubuntu.
|
2021-09-01 19:48:54 +01:00 |
|
Wen Kokke
|
20a928f74e
|
Wrote a more comprehensive Build action.
|
2021-09-01 19:42:29 +01:00 |
|
Wen Kokke
|
701b21bf49
|
Woops. Moved workflow into .github/workflows.
|
2021-09-01 19:20:30 +01:00 |
|
Wen Kokke
|
703afcac97
|
Created basic GitHub action.
|
2021-09-01 19:18:10 +01:00 |
|
wadler
|
af45cdcfdb
|
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
|
2021-08-29 18:37:14 +01:00 |
|
Philip Wadler
|
cdcc12f4cc
|
Merge pull request #588 from lorenzo-lipparini/patch-2
Fixing minor coding style inconsistencies in part1/Quantifiers
|
2021-08-29 18:22:36 +01:00 |
|
Lorenzo Lipparini
|
d2c14f40e1
|
Fix coding style inconsistencies in part1/Quantifiers
|
2021-08-29 15:26:34 +02:00 |
|
wadler
|
6ea7439507
|
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
|
2021-08-29 10:33:10 +01:00 |
|
Philip Wadler
|
70825b81c0
|
Merge pull request #587 from plfa/wadler-patch-2
Update Lists.lagda.md
|
2021-08-29 10:30:47 +01:00 |
|
Philip Wadler
|
3e03d1ee03
|
Update Lists.lagda.md
|
2021-08-29 10:29:46 +01:00 |
|
wadler
|
27006a8181
|
fixed Assignment4
|
2021-08-28 18:28:04 +01:00 |
|
wadler
|
ba41d279f1
|
small changes: Subtyping, Inference, Assignment 4, Exam
|
2021-08-28 18:25:22 +01:00 |
|
Wen Kokke
|
b1e9152bcc
|
Fixed links.
|
2021-08-25 22:30:13 +01:00 |
|
Wen Kokke
|
3fc94edf3d
|
Added slash back into Makefile.
|
2021-08-25 13:40:22 +01:00 |
|
Wen Kokke
|
e4d7c79aa6
|
Update .gitignore to disallow PDFs but include plfa.pdf.
|
2021-08-25 13:20:17 +01:00 |
|
Wen Kokke
|
78108f5750
|
Minor refactoring.
|
2021-08-25 13:17:15 +01:00 |
|
Wen Kokke
|
a5e1f77d22
|
Changed header anchors. Commited WIP fix for #577.
|
2021-08-25 11:53:30 +01:00 |
|
Wen Kokke
|
07d082c9db
|
Fixed syntax for assigning anchors.
|
2021-08-25 00:17:03 +01:00 |
|
Wen Kokke
|
4b5d775ba1
|
Finished announcement.
|
2021-08-24 23:42:18 +01:00 |
|
Wen Kokke
|
6d6a1b284a
|
Minor fix.
|
2021-08-24 23:02:11 +01:00 |
|
Wen Kokke
|
a9f85c9ab1
|
EPUB and PDF now more-or-less work
|
2021-08-24 22:41:18 +01:00 |
|
Wen Kokke
|
b07957d430
|
Fix EPUB.
|
2021-08-24 21:48:13 +01:00 |
|
Wen Kokke
|
64ff672300
|
Removed superfluous metadata template.
|
2021-08-24 19:23:11 +01:00 |
|
Wen Kokke
|
b4ae07e13c
|
Fixed PDF and EPUB generation to use toc.metadata.
|
2021-08-24 19:22:53 +01:00 |
|
Wen Kokke
|
e8df980d4b
|
Fixed PDF generate to use toc.metadata.
|
2021-08-24 15:00:50 +01:00 |
|
Wen Kokke
|
2987995c7a
|
WIP rewrite of book rendering.
|
2021-08-24 01:01:23 +01:00 |
|
Wen Kokke
|
587985aa9d
|
Fixed PDF generation.
|
2021-08-23 18:59:51 +01:00 |
|
Wen Kokke
|
d14b04ebf2
|
Fixed PDF generation.
|
2021-08-23 18:34:35 +01:00 |
|
Wen Kokke
|
7345c36d80
|
Fixed binding issues with existential syntax.
|
2021-08-23 11:57:30 +01:00 |
|
Wen Kokke
|
a92e1a08c4
|
Fixed assignment 4.
|
2021-08-23 00:48:01 +01:00 |
|
Altariarite
|
73fdcf34bd
|
PDF generation (#575)
* include tools for pdf
* generating acknowledgements to include in the pdf
* changed makefile to call the makefile in pdf/
|
2021-08-22 19:56:17 +01:00 |
|
Yeradis P. Barbosa Marrero
|
327b0c2f92
|
fix README.md link to EPUB e-book (#553)
|
2021-08-22 19:55:36 +01:00 |
|
Altariarite
|
46371b34e8
|
Updated woff and css to include home brewed font (#570)
|
2021-08-22 19:53:43 +01:00 |
|
Liang-Ting Chen
|
43bdaa94f4
|
Use https instead of git for fetching the standard library (#572)
* Use https instead of git for fetching the standard library
* Clone the standard library shallowly
|
2021-08-22 19:52:55 +01:00 |
|