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 |
|