Wen Kokke
|
7d414f76e3
|
install plfa as a library on travis
|
2018-10-12 06:36:09 -05:00 |
|
Wen Kokke
|
0c45913b78
|
Moved TSPL files into their own directory
|
2018-10-10 15:41:54 -05:00 |
|
Wen Kokke
|
079b734c18
|
Added license
|
2018-10-02 10:46:02 -05:00 |
|
Wen Kokke
|
eea8ae9aa6
|
Added acknowledgements script.
|
2018-09-11 16:37:05 +01:00 |
|
Wen Kokke
|
060e411323
|
Removed --local-references flag
|
2018-09-07 13:06:36 +01:00 |
|
Philip Wadler
|
02fc506bd0
|
fixed conflicts
|
2018-09-07 12:42:03 +01:00 |
|
Philip Wadler
|
ef27c1d191
|
small updates
|
2018-09-07 12:39:46 +01:00 |
|
Wen Kokke
|
76609c5946
|
Added --link-to-local-agda-names to the Makefile
|
2018-09-06 15:26:50 +01:00 |
|
Wen Kokke
|
94253f68fc
|
Added 'Prev • Source • Next' links
|
2018-09-04 17:58:15 +01:00 |
|
Wen Kokke
|
76b4c7144e
|
Disabled external links in 'make test'
|
2018-07-05 15:31:29 +01:00 |
|
Wen Kokke
|
ebd1b0ad12
|
Updated Makefile and about page.
|
2018-07-05 14:31:58 +01:00 |
|
Wen Kokke
|
3d4c18c317
|
Trying again; changing to plfa.github.io
|
2018-07-05 10:46:10 +01:00 |
|
Wen Kokke
|
6f2b0cdafd
|
Reverting move to PLFA org
|
2018-07-05 10:27:59 +01:00 |
|
Wen Kokke
|
284e9e590d
|
Moved to plfa.github.io.
|
2018-07-05 08:33:16 +01:00 |
|
wadler
|
41939ad031
|
added agda-count.hs
|
2018-07-04 21:20:32 -03:00 |
|
Wen Kokke
|
c34b99af6b
|
Changed other occurances of sf/ to plfa/
|
2018-07-04 23:32:49 +01:00 |
|
Wen Kokke
|
a56370369c
|
Fixed broken local links; added jekyll-feed back into the plugins.
|
2018-06-11 13:14:51 +02:00 |
|
Wen Kokke
|
dbfd79993f
|
Working on getting rid of deadlinks
|
2018-06-04 15:06:19 +01:00 |
|
Wen Kokke
|
590961679c
|
Generate correct links in index.md; added 'make test' option which runs htmlproofer; excluded a number of files from the _site directory; these should've all been seperate commits, shouldn't they have?
|
2018-06-04 13:17:37 +01:00 |
|
Wen Kokke
|
cfac659f51
|
Fixed call to agda2html (jekyll-root -> use-jekyll)
|
2018-06-02 20:12:51 +01:00 |
|
Wen Kokke
|
ecc468c84d
|
Fixed make: Nothing to be done for `clean'.
|
2018-06-02 19:46:13 +01:00 |
|
Wen Kokke
|
ebbd1604b6
|
Fixed Makefile re: submodules
|
2018-06-02 19:37:16 +01:00 |
|
Wen Kokke
|
ad732ec226
|
Fixed Makefile
|
2018-05-26 17:35:28 +01:00 |
|
Wen Kokke
|
da04fb6df2
|
Writing Makefiles is hard, OK?
|
2018-04-12 16:36:52 +01:00 |
|
Wen Kokke
|
ec0e64152c
|
Added workaround for bug in agda2html
|
2018-04-12 16:31:15 +01:00 |
|
Wen Kokke
|
f709ab0bf3
|
Added workaround for bug in agda2html
|
2018-04-12 16:26:37 +01:00 |
|
Wen Kokke
|
5c16222d49
|
Updated Makefile.
|
2018-03-12 12:07:17 +00:00 |
|
Wen Kokke
|
5144d5717c
|
Fixed .travis.yml; added server-start and server-stop; removed serve
|
2018-02-28 12:08:43 +00:00 |
|
Wen Kokke
|
6888d87b37
|
Fixed Makefile
|
2018-02-28 12:01:22 +00:00 |
|
Wen Kokke
|
abfff1ac17
|
Minor changes in makefile; moved bundle install to make setup
|
2018-02-02 13:37:13 +00:00 |
|
Wen Kokke
|
967464906f
|
Travis: Fixing minor errors through many commits
|
2018-01-28 11:22:02 +00:00 |
|
Wen Kokke
|
0bb07834c1
|
Travis: Fixing minor errors through marny commits
|
2018-01-28 10:48:45 +00:00 |
|
Wen Kokke
|
78e4d54a9a
|
Travis: Now also caching the build directories
|
2018-01-28 10:39:34 +00:00 |
|
Wen Kokke
|
ecb1a30f3a
|
Fixed Makefile
|
2018-01-28 10:13:01 +00:00 |
|
Wen Kokke
|
0a761e5680
|
Added cleanup before deployment
|
2018-01-28 10:08:14 +00:00 |
|
Wen Kokke
|
5a53d7d9b1
|
Fixed makefile
|
2018-01-28 09:53:24 +00:00 |
|
Wen Kokke
|
5bfc9b49a6
|
Fixed Makefile
|
2018-01-28 09:43:02 +00:00 |
|
Wen Kokke
|
739b2497ee
|
Fixed Makefile
|
2018-01-28 02:24:18 +00:00 |
|
Wen Kokke
|
106508f81f
|
Make better use of Travis caching
|
2018-01-28 01:45:43 +00:00 |
|
Wen Kokke
|
d1380fd0dc
|
Removed out/Basics, added make setup, updated _config
|
2018-01-27 23:47:35 +00:00 |
|
Wen Kokke
|
dec8fd5705
|
Expanded Makefile -- regenerated outputs.
|
2017-06-27 16:10:16 +01:00 |
|
Wen Kokke
|
eaeab73fc1
|
Re-regenerated the output files
|
2017-06-27 15:25:04 +01:00 |
|
Wen Kokke
|
7b804c29b5
|
Added make serve task to the Makefile
|
2017-06-27 14:54:09 +01:00 |
|
Pepijn Kokke
|
d1163c6f39
|
Removed --strip-implicits.
|
2017-03-14 16:13:06 +00:00 |
|
Pepijn Kokke
|
f96b046cbc
|
Moved imports up to the top of the file in all files except for Maps. Created clean and clobber tasks.
|
2017-03-11 23:07:56 +00:00 |
|
Pepijn Kokke
|
21b52e98e4
|
Moved .lagda files into src/; added basic structure of a website.
|
2017-03-10 15:49:30 +00:00 |
|