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 |
|
wadler
|
65572ed522
|
Lists
|
2018-02-04 18:06:41 -04:00 |
|
Wen Kokke
|
abfff1ac17
|
Minor changes in makefile; moved bundle install to make setup
|
2018-02-02 13:37:13 +00:00 |
|
wadler
|
4df09d9b05
|
code for Lists
|
2018-01-31 21:26:08 -02:00 |
|
wadler
|
650610600f
|
added tabular reasoning for embedding
|
2018-01-31 16:57:11 -02:00 |
|
wadler
|
871573291a
|
refactoring of Isomorphsim complete
|
2018-01-31 16:49:53 -02:00 |
|
wadler
|
e39a019602
|
factored out Isomorphism, Logic broken
|
2018-01-31 12:53:08 -02:00 |
|
wadler
|
dd021129f2
|
finished rewriting about to start Leibniz
|
2018-01-31 10:20:37 -02:00 |
|
wadler
|
27b038de35
|
backing up Equivalence
|
2018-01-31 09:30:41 -02:00 |
|
wadler
|
465594f495
|
starting to explain rewrite
|
2018-01-30 18:59:52 -02:00 |
|
wadler
|
185d8981f0
|
added explanation of tabular reasoning
|
2018-01-30 17:58:57 -02:00 |
|
wadler
|
b0d7c5f49c
|
halfway through Equivalence
|
2018-01-29 21:01:19 -02:00 |
|
wadler
|
00b156f6cb
|
Fixed PropertiesAns and RelationsAns
|
2018-01-28 18:42:55 +00:00 |
|
wadler
|
b93d1168be
|
Cherry-picked cleanup of logic intro to master
|
2018-01-28 18:29:38 +00:00 |
|
Wen Kokke
|
806b48d88c
|
Configured notifications for Travis
|
2018-01-28 18:24:51 +00:00 |
|
wadler
|
f195408df4
|
test --- does change push?
|
2018-01-28 15:35:14 -02:00 |
|
wadler
|
6cadf407e4
|
shifting to main branch as suggested by Wen
|
2018-01-28 15:31:18 -02:00 |
|
Wen Kokke
|
7b02b316fd
|
Fixed baseurl
|
2018-01-28 14:35:22 +00:00 |
|
Wen Kokke
|
5c8da6bbc0
|
Removed out/ folder from master
|
2018-01-28 14:32:56 +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
|
c45c895c62
|
Added support for Travis deploying to GitHub Pages
|
2018-01-28 01:55:08 +00:00 |
|