Wen Kokke
|
78108f5750
|
Minor refactoring.
|
2021-08-25 13:17:15 +01:00 |
|
Wen Kokke
|
a9f85c9ab1
|
EPUB and PDF now more-or-less work
|
2021-08-24 22:41:18 +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
|
7345c36d80
|
Fixed binding issues with existential syntax.
|
2021-08-23 11:57:30 +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 |
|
Wen Kokke
|
9776956c5e
|
Added URL filter which removes 'index.html'.
|
2020-10-28 12:17:56 +01:00 |
|
Wen Kokke
|
9b5ac3e7a8
|
Add section on citations to HOWTO.
|
2020-10-26 17:40:16 +01:00 |
|
Wen Kokke
|
2c4bf84365
|
Added support for citations.
|
2020-10-26 17:05:04 +01:00 |
|
Wen Kokke
|
e33b5fc952
|
Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.
|
2020-10-24 17:22:41 +02:00 |
|
Wen Kokke
|
66ae436dc1
|
Updated Agda version, added caching back in.
|
2020-10-24 17:19:11 +02:00 |
|
Wen Kokke
|
51cd3fb64a
|
Changed site title.
|
2020-10-23 15:13:35 +02:00 |
|
Wen Kokke
|
3d4c9f7a1d
|
Fixed rendering errors.
|
2020-10-23 11:21:02 +02:00 |
|
Wen Kokke
|
2c82ce21da
|
Switch to Hakyll as the build system for PLFA (#540)
|
2020-10-23 08:45:49 +02:00 |
|
Wen Kokke
|
48dcc99152
|
Removed statistics page.
|
2020-07-14 18:12:21 +01:00 |
|
Wen Kokke
|
545e2f8651
|
Fixed statistics; see #233
|
2019-03-16 11:00:08 +01:00 |
|
Ingo Blechschmidt
|
b8fc615ebe
|
Use https instead of http where possible
|
2018-12-02 22:59:51 +00:00 |
|
wadler
|
9b0069d8d1
|
improved typing and trans closure in Lambda
|
2018-10-29 12:15:31 +00:00 |
|
wadler
|
649d7dcb13
|
small fix to Assignment 4
|
2018-10-29 10:17:05 +00:00 |
|
wadler
|
aa9932d71f
|
fixed hs
|
2018-07-04 21:28:32 -03:00 |
|
wadler
|
41939ad031
|
added agda-count.hs
|
2018-07-04 21:20:32 -03:00 |
|
wadler
|
7864c7ec5f
|
tiny fixes
|
2018-07-04 20:57:02 -03:00 |
|
wadler
|
fd18220a6e
|
moved Extension to More
|
2018-07-03 10:30:21 -03:00 |
|
wadler
|
2cb9c9c2c3
|
fixed line in Statistics
|
2018-07-03 10:20:40 -03:00 |
|
wadler
|
1fe5d6d852
|
updated statistics
|
2018-07-02 22:01:47 -03:00 |
|
wadler
|
155375a559
|
first draft of DeBruijn
|
2018-07-02 20:00:31 -03:00 |
|
wadler
|
14f2d569fb
|
updated normal forms in Untyped
|
2018-06-11 21:24:45 -07:00 |
|