Wen Kokke
|
1567b73d39
|
Added version for agda2html
|
2018-12-18 12:26:40 +00:00 |
|
Wen Kokke
|
a4c207c1ce
|
Revert "Removed reference to TSPL from README"
This reverts commit 5187a4cc6d .
|
2018-12-18 11:38:33 +00:00 |
|
Wen Kokke
|
db506e79b1
|
Added badges for agda and agda-stdlib versions
|
2018-12-18 11:38:29 +00:00 |
|
Wen Kokke
|
5187a4cc6d
|
Removed reference to TSPL from README
|
2018-12-18 10:57:41 +00:00 |
|
Wen Kokke
|
f83552e740
|
Clarified README
|
2018-12-12 09:50:01 +00:00 |
|
Wen Kokke
|
6550855977
|
Changed README
|
2018-12-11 20:57:13 +00:00 |
|
Rodrigo Bernardo
|
933fb27c89
|
Fixes typo in README.md
|
2018-12-03 00:34:28 +00:00 |
|
Deniz A. Durmaz
|
233c89bab0
|
fixed typo in README.md
|
2018-12-02 23:01:28 +00:00 |
|
Ingo Blechschmidt
|
b8fc615ebe
|
Use https instead of http where possible
|
2018-12-02 22:59:51 +00:00 |
|
Wen Kokke
|
f4a78c0755
|
Added instructions for setting up PLFA as a library
|
2018-12-02 23:56:15 +01:00 |
|
Wen Kokke
|
ae5667cfc7
|
Added comment regarding PLFA as an Agda library
|
2018-11-27 12:14:49 +00:00 |
|
Wen Kokke
|
8babe49f9f
|
Merged README and GettingStarted
|
2018-11-27 11:52:10 +00:00 |
|
Wen Kokke
|
7d320fdf0c
|
Fix problem in README.md
|
2018-11-27 11:47:37 +00:00 |
|
Wen Kokke
|
e74ba70274
|
minor changes
|
2018-11-26 22:57:10 +00:00 |
|
Wen Kokke
|
6a4ed6ec55
|
minor changes
|
2018-11-26 22:55:50 +00:00 |
|
Wen Kokke
|
d12dc1fbc0
|
minor changes
|
2018-11-26 22:54:25 +00:00 |
|
Wen Kokke
|
37a81461ff
|
minor changes
|
2018-11-26 22:53:26 +00:00 |
|
Wen Kokke
|
f741572a13
|
minor changes
|
2018-11-26 22:52:46 +00:00 |
|
Wen Kokke
|
33aad4566b
|
minor changes
|
2018-11-26 22:50:42 +00:00 |
|
Wen Kokke
|
d6248ff39a
|
changed headers
|
2018-11-26 22:48:26 +00:00 |
|
Wen Kokke
|
20b10a4545
|
Updated README
|
2018-11-26 22:47:31 +00:00 |
|
Wen Kokke
|
f90f7dbe60
|
Minor fixes to README
|
2018-11-26 22:37:13 +00:00 |
|
wadler
|
a8b1f9d46a
|
added instructions
|
2018-11-26 18:57:39 -03:00 |
|
Wen Kokke
|
c8f0e8f272
|
Added clause about gnu-sed
|
2018-10-16 16:18:51 +01:00 |
|
Wen Kokke
|
f0e23f4966
|
Added build status
|
2018-10-03 00:31:13 -05:00 |
|
Wen Kokke
|
96033f24bd
|
Fix Travis text
|
2018-10-03 00:29:56 -05:00 |
|
Wen Kokke
|
93c3a00679
|
Fix README
|
2018-10-03 00:27:57 -05:00 |
|
Wen Kokke
|
7eb883f5ea
|
Added instructions for building the book
|
2018-10-03 00:25:07 -05:00 |
|
wadler
|
7a8d68f7a8
|
update to README
|
2018-10-02 12:49:49 +01:00 |
|
Philip Wadler
|
35210bbc18
|
added link to Travis.
|
2018-09-16 14:17:00 +01:00 |
|
Philip Wadler
|
a136be9c2e
|
final changes
|
2018-09-15 21:38:02 +01:00 |
|
Wen Kokke
|
42f43fabbe
|
Removed Phil's computer's name from README
|
2018-09-11 17:01:41 +01:00 |
|
Wen Kokke
|
a7840c370c
|
Removed Analytics information from README
|
2018-09-11 17:01:15 +01:00 |
|
Philip Wadler
|
ef27c1d191
|
small updates
|
2018-09-07 12:39:46 +01:00 |
|
Philip Wadler
|
027e5e6f05
|
update index and small changes to List
|
2018-09-04 21:10:30 +01:00 |
|
Philip Wadler
|
799d924e8b
|
small fixes
|
2018-09-04 19:34:32 +01:00 |
|
wadler
|
c9699a9674
|
updated README
|
2018-07-05 14:41:19 -03: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 |
|
Wen Kokke
|
c34b99af6b
|
Changed other occurances of sf/ to plfa/
|
2018-07-04 23:32:49 +01:00 |
|
Wen Kokke
|
35a2c02b5b
|
Fixed links in README and index.md
|
2018-06-25 11:40:48 +01:00 |
|
Wen Kokke
|
c1bef2c1fe
|
Fixed links in README
|
2018-06-25 11:33:51 +01:00 |
|
Wen Kokke
|
1a6314a155
|
Restored /about/ page, made minor revisions of /about/ page.
|
2018-06-20 13:27:19 +02:00 |
|
wadler
|
9430672041
|
updated README with clobber
|
2018-04-15 16:31:51 -03:00 |
|
wadler
|
62b64c9b84
|
further fixes to Preface, Acknowledgements
|
2018-03-04 18:02:40 -03:00 |
|
wadler
|
61d00be7c1
|
further fixes to Preface, Acknowledgements
|
2018-03-04 17:59:36 -03:00 |
|
wadler
|
fb3ad1d4bd
|
small fixes to Preface, about, index
|
2018-03-04 12:37:40 -03:00 |
|
wadler
|
ae26e82dd4
|
wrote Preface
|
2018-03-04 12:29:53 -03:00 |
|
wadler
|
d1385a7160
|
added Kramdown to README
|
2018-02-17 11:52:09 -02:00 |
|
wadler
|
652da6c516
|
Lists, added All and Any
|
2018-02-14 19:34:10 -02:00 |
|
wadler
|
7a369f9f8d
|
updated README to point to CommonMark
|
2018-02-14 10:33:53 -02:00 |
|
wadler
|
bf6c5a0602
|
finished proof of assoc+
|
2018-01-01 17:40:30 -02:00 |
|
Philip Wadler
|
6ff8e77c22
|
changes to README and config
|
2017-09-13 17:34:32 +01:00 |
|
wadler
|
456696acbd
|
fixes to README and index
|
2017-07-19 21:39:36 +01:00 |
|
wadler
|
a4856056e8
|
fixes to README
|
2017-07-19 21:32:34 +01:00 |
|
Philip Wadler
|
02f9e5fdf8
|
cosmetic changes to index and README
|
2017-07-19 14:53:12 +01:00 |
|
Philip Wadler
|
03b789ede0
|
changes to README and index
|
2017-07-19 13:14:08 +01:00 |
|
wadler
|
5c02a1a5cb
|
updated instructions in README
|
2017-06-29 16:43:38 +01:00 |
|
wadler
|
a594a73198
|
finished learning for Tuesday
|
2017-03-21 16:42:39 +00:00 |
|
Pepijn Kokke
|
21b52e98e4
|
Moved .lagda files into src/; added basic structure of a website.
|
2017-03-10 15:49:30 +00:00 |
|
Pepijn Kokke
|
fda61b9055
|
Removed Markdown files.
|
2017-03-10 11:50:50 +00:00 |
|
Pepijn Kokke
|
9a9020cbaf
|
Initial commit
|
2017-03-10 11:41:30 +00:00 |
|