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 |
|
Wen Kokke
|
106508f81f
|
Make better use of Travis caching
|
2018-01-28 01:45:43 +00:00 |
|
Wen Kokke
|
5411002ca0
|
Added standard library to Travis
|
2018-01-28 01:24:42 +00:00 |
|
Wen Kokke
|
418d2f0d94
|
Fixed .travis.yml
|
2018-01-28 00:58:23 +00:00 |
|
Wen Kokke
|
14532321f8
|
Made unzip quiet.
|
2018-01-28 00:05:54 +00:00 |
|
Wen Kokke
|
a0edb2ac59
|
Added Travis support.
|
2018-01-27 23:48:04 +00:00 |
|
Wen Kokke
|
d1380fd0dc
|
Removed out/Basics, added make setup, updated _config
|
2018-01-27 23:47:35 +00:00 |
|
wadler
|
71d92c3776
|
redid comm, even exists proof
|
2018-01-26 19:36:31 -02:00 |
|
wadler
|
6ae06a2236
|
further progress on Logic
|
2018-01-26 19:35:55 -02:00 |
|
wadler
|
fb65f6abaa
|
publishing
|
2018-01-26 17:04:00 -02:00 |
|
wadler
|
7c68837152
|
drafted universals and existentials
|
2018-01-26 17:02:51 -02:00 |
|
wadler
|
4e0aeabfe4
|
Publishing draft of Logic
|
2018-01-26 14:37:46 -02:00 |
|
wadler
|
6beb810138
|
Logic, prior to universals
|
2018-01-26 14:14:40 -02:00 |
|
wadler
|
005f007543
|
Logic prior to universals
|
2018-01-26 14:13:09 -02:00 |
|
Wen Kokke
|
68550c6867
|
Removed LICENSE
|
2018-01-26 13:14:48 +00:00 |
|
Wen Kokke
|
4b431729f4
|
Bumped versions for dependencies
|
2018-01-26 13:12:54 +00:00 |
|
wadler
|
c8779277f6
|
further work on Logic
|
2018-01-23 13:52:55 +00:00 |
|
wadler
|
f1e3b44cff
|
Logic, true, false, negation
|
2018-01-14 19:51:42 +00:00 |
|
wadler
|
28d971a886
|
Logic, currying and related isos
|
2018-01-12 19:31:59 -02:00 |
|
wadler
|
5d767f5b40
|
Logic, currying and related isos
|
2018-01-12 19:10:46 -02:00 |
|
wadler
|
b60bc9a8d8
|
Logic, embedding
|
2018-01-12 17:20:52 -02:00 |
|
wadler
|
26c63340e8
|
mutual recursion
|
2018-01-12 15:37:26 -02:00 |
|
wadler
|
64dc1651c3
|
added Mutual
|
2018-01-11 13:27:33 -02:00 |
|
wadler
|
390816ea97
|
updated Logic, added extra Gentzen
|
2018-01-10 19:42:25 -02:00 |
|