Wen Kokke
|
c56db8000d
|
Wrote announcement for Part 3
|
2020-07-13 23:37:01 +01:00 |
|
wadler
|
36ef980840
|
updated index with Ghica course
|
2020-06-23 17:53:06 +01:00 |
|
wadler
|
2a5565dca9
|
updated home page
|
2020-06-23 17:41:28 +01:00 |
|
Jeremy Siek
|
47cb1433db
|
new verion of the book! beta.md -> index.md
|
2020-06-04 09:57:27 -04:00 |
|
wadler
|
6a3fec78b6
|
updates to index page
|
2020-04-30 15:23:40 -03:00 |
|
Wen Kokke
|
00bd32e7ac
|
Fixed bug in link
|
2020-01-21 20:14:09 +00:00 |
|
Wen Kokke
|
0003b0465f
|
Fix #451 - mention mailing lists
|
2020-01-21 17:04:04 +00:00 |
|
wadler
|
435bf28a9e
|
merge
|
2020-01-14 10:26:02 -03:00 |
|
wadler
|
d770366fb4
|
added SF meetup to home page
|
2020-01-14 10:24:39 -03:00 |
|
wadler
|
77a87549f6
|
Merge branch 'dev' of github.com:plfa/plfa.github.io into dev
|
2020-01-10 10:58:58 -03:00 |
|
wadler
|
fc5f645ecb
|
added link to Nextjournal
|
2020-01-10 10:58:41 -03:00 |
|
Jeremy Siek
|
95fa648a23
|
added link to course at Indiana
|
2020-01-08 14:19:30 -05:00 |
|
wadler
|
bf8b03c67f
|
fixes to TSPL 2019
|
2019-09-15 17:15:46 +01:00 |
|
Reza Gharibi
|
63fcbbe25e
|
Changed missed inherent occurrences to intrinsic
|
2019-08-31 22:35:41 +01:00 |
|
wadler
|
6cc7f089c6
|
Added course to index
|
2019-07-28 14:29:02 +01:00 |
|
Wen Kokke
|
2a595363c0
|
Made all internal URLs portable (using site.baseurl)
|
2019-07-15 17:39:12 +01:00 |
|
Wen Kokke
|
48d7eefc3a
|
Setup courses folder.
|
2019-07-12 21:05:27 +01:00 |
|
Reza Gharibi
|
32cab1f0c9
|
Replaced 'De Bruijn' with 'de Bruijn'
|
2019-06-15 18:33:21 +02:00 |
|
Wen Kokke
|
f27cfd4ad1
|
Reformatting header
|
2019-06-01 12:44:58 +01:00 |
|
Wen Kokke
|
535c1e99dd
|
Reordered 'Related' section
|
2019-05-31 08:12:43 +01:00 |
|
Wen Kokke
|
3005811a28
|
Merged link to citation guidelines into 'Related' section
|
2019-05-31 08:12:12 +01:00 |
|
Wen Kokke
|
72d17a1680
|
Set index layout to 'page' instead of 'home'
|
2019-05-30 22:26:31 +01:00 |
|
Wen Kokke
|
ea095a1da8
|
Fix formatting for translations
|
2019-05-30 22:25:53 +01:00 |
|
wadler
|
e88a69dc44
|
Added How to Cite this Book
|
2019-05-29 09:20:10 +02:00 |
|
wadler
|
72ac57a616
|
PUC
|
2019-04-26 13:05:07 -03:00 |
|
wadler
|
35a94f54f4
|
Updated PUC
|
2019-04-16 08:01:05 -04:00 |
|
Marko Dimjašević
|
b5c4392fee
|
Removes an extra space from the table of contents
|
2019-04-08 20:42:13 +02:00 |
|
wadler
|
108008be73
|
updated for PUC
|
2019-04-05 11:45:46 -03:00 |
|
Wen Kokke
|
9e59f8ca9a
|
Fixed link to David Darais's course page
|
2019-01-23 23:17:05 +00:00 |
|
Ingo Blechschmidt
|
b8fc615ebe
|
Use https instead of http where possible
|
2018-12-02 22:59:51 +00:00 |
|
John Leo
|
6e60a4faea
|
add Google Seattle course
|
2018-11-20 10:30:24 -08:00 |
|
Philip Wadler
|
627cf666f4
|
move courses to index
|
2018-10-05 19:00:21 +01:00 |
|
Wen Kokke
|
079b734c18
|
Added license
|
2018-10-02 10:46:02 -05:00 |
|
wadler
|
c2dc388821
|
added more stuff to index
|
2018-09-27 18:44:02 -05:00 |
|
wadler
|
e3f173470d
|
updated toc and preface
|
2018-09-27 17:15:29 -05:00 |
|
Philip Wadler
|
6e69d4bf40
|
updated table of contents
|
2018-09-15 21:10:27 +01:00 |
|
Philip Wadler
|
1c0ff3b9fa
|
Updated TSPL
|
2018-09-15 20:34:02 +01:00 |
|
Philip Wadler
|
8cb49f26d5
|
added SystemF to index
|
2018-08-30 14:37:26 +01:00 |
|
Philip Wadler
|
269a1869ba
|
swapped Decidable and Lists
|
2018-08-20 13:18:39 +01:00 |
|
wadler
|
5c1c6b1e4c
|
updated index
|
2018-08-01 12:39:38 +01:00 |
|
Wen Kokke
|
d35bc147d3
|
Removed use_site_title option, print booktitle for pages using home layout instead
|
2018-07-28 12:32:24 +02:00 |
|
Wen Kokke
|
c6efeddbdd
|
Created use_site_title option, added it to index.md
|
2018-07-26 10:13:39 +02:00 |
|
wadler
|
da3bcabb94
|
more text for Bisimulation
|
2018-07-10 17:09:38 -03:00 |
|
wadler
|
202f0f54ba
|
fixes to formal code in More
|
2018-07-09 12:23:41 -03:00 |
|
wadler
|
72eecbfca5
|
updated index
|
2018-07-06 14:17:05 -03:00 |
|
wadler
|
d9b0872a66
|
adding Dedication
|
2018-07-05 15:06:01 -03:00 |
|
wadler
|
801950c118
|
moved again
|
2018-07-04 18:47:11 -03:00 |
|
wadler
|
cb13cab04d
|
moved Bisimulation to separate chapter
|
2018-07-03 17:02:22 -03:00 |
|
wadler
|
704aca8aaf
|
new title and Preface, technical fixes
|
2018-06-30 13:27:47 -03:00 |
|
wadler
|
31f3aa42b3
|
renamed PandP to Properties
|
2018-06-29 15:18:31 -03:00 |
|