wadler
|
929da32c56
|
further revisions to Naturals
|
2018-03-05 18:34:22 -03:00 |
|
wadler
|
a6f413ecb4
|
changed examples in Naturals
|
2018-03-05 13:25:56 -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
|
62c6e88b14
|
fix to Preface, Acknowledgements
|
2018-03-04 17:43:16 -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
|
d2c64685db
|
added Notes
|
2018-03-04 10:57:27 -03:00 |
|
wadler
|
6e6531e7ae
|
minor change to Naturals
|
2018-03-01 20:27:15 +01:00 |
|
wadler
|
e34252934f
|
revised text of Naturals
|
2018-03-01 20:23:54 +01:00 |
|
wadler
|
0afaa0aa3a
|
added imports to Naturals
|
2018-03-01 18:47:32 +01: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 |
|
wadler
|
d9a79cf298
|
Revised Natural
|
2018-02-27 18:45:52 +01:00 |
|
wadler
|
c4ae7c86bc
|
added PHOAS to Scoped
|
2018-02-27 17:49:33 +01:00 |
|
wadler
|
e739cd7029
|
added letters to repository
|
2018-02-27 17:24:58 +01:00 |
|
wadler
|
45a4be4fa6
|
small fix to Typed
|
2018-02-27 14:54:22 +01:00 |
|
wadler
|
4e4fc99920
|
changed DeBruijn to Scoped
|
2018-02-27 14:50:21 +01:00 |
|
wadler
|
11e9a4e99d
|
removed hole from DeBruijn
|
2018-02-26 12:18:29 +01:00 |
|
wadler
|
a794dc0fbf
|
Added DeBruijn to index
|
2018-02-26 10:25:51 +01:00 |
|
wadler
|
178c0f8dc4
|
updating DeBruijn for PHOAS
|
2018-02-26 09:09:43 +01:00 |
|
wadler
|
657feddf46
|
moved DeBruijn to src so it will be published
|
2018-02-24 19:50:20 +01:00 |
|
wadler
|
b453ef1efc
|
completed progress
|
2018-02-24 17:32:51 +01:00 |
|
wadler
|
edfbdd1a0d
|
halfway through DeBruijn
|
2018-02-24 16:31:35 +01:00 |
|
wadler
|
b0226ccb41
|
halfway through DeBruijn
|
2018-02-24 13:45:45 +01:00 |
|
wadler
|
543017049d
|
added Darais
|
2018-02-23 14:50:29 +01:00 |
|
wadler
|
c75cd9dc06
|
further work on DeBruijn
|
2018-02-23 13:45:53 +01:00 |
|
wadler
|
ea08e95665
|
restored original DeBruijn
|
2018-02-22 12:53:22 +01:00 |
|
wadler
|
3391c18b53
|
second order DeBruijn
|
2018-02-22 12:51:16 +01:00 |
|
wadler
|
f6f41167ba
|
Stable and DeBruijn
|
2018-02-20 12:42:19 +01:00 |
|
wadler
|
2a45baba90
|
Decidable All
|
2018-02-18 12:40:59 -03:00 |
|
wadler
|
151dc6d6bd
|
Decidable connectives
|
2018-02-18 11:08:20 -03:00 |
|
wadler
|
d1385a7160
|
added Kramdown to README
|
2018-02-17 11:52:09 -02:00 |
|
wadler
|
32a2062a78
|
added Everything
|
2018-02-16 17:30:23 -02:00 |
|
wadler
|
3f744db8b9
|
updated index
|
2018-02-16 17:27:02 -02:00 |
|
wadler
|
f97bac1082
|
Decidable, first half
|
2018-02-16 17:08:58 -02:00 |
|
wadler
|
a6e1179622
|
minor fixes to Lists
|
2018-02-15 09:40:27 -02:00 |
|
wadler
|
f939eebf5b
|
fixed bug in LogicAns
|
2018-02-14 21:10:07 -02:00 |
|
wadler
|
9114aad7b3
|
finished first draft of Lists
|
2018-02-14 20:14:54 -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
|
462a88508f
|
finished Lists foldr monoid
|
2018-02-12 15:17:48 -02:00 |
|
wadler
|
ab9e5d6c7d
|
Revised material on sections
|
2018-02-09 15:27:31 -04:00 |
|
wadler
|
9c3a362a62
|
Lists, map and fold
|
2018-02-08 17:41:51 -04:00 |
|
wadler
|
2871611bec
|
updated Agda
|
2018-02-08 14:31:35 -04:00 |
|
wadler
|
2e93d44877
|
Lists, up through fast reverse
|
2018-02-07 14:17:56 -04:00 |
|
wadler
|
e37d1692c9
|
added ListsAns
|
2018-02-07 11:46:48 -04:00 |
|
wadler
|
8011389aa9
|
append, length, reverse in Lists
|
2018-02-06 16:57:35 -04:00 |
|
wadler
|
e5d6f95e77
|
started text for Lists
|
2018-02-05 17:58:51 -04:00 |
|
wadler
|
7135880522
|
added Lists to index
|
2018-02-04 18:08:49 -04:00 |
|