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
|
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
|
005f007543
|
Logic prior to universals
|
2018-01-26 14:13:09 -02: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 |
|
wadler
|
ab8c9aa7aa
|
trying to prove distribution
|
2018-01-09 20:08:39 -02:00 |
|
wadler
|
bc9cd1934a
|
trying to prove distribution
|
2018-01-09 20:05:52 -02:00 |
|
wadler
|
3d919975fa
|
added material on isomorphism to Logic
|
2018-01-09 19:54:08 -02:00 |
|
wadler
|
cf7a6b5c56
|
added trial of Reasoning
|
2018-01-09 14:45:11 -02:00 |
|
wadler
|
7d516c8a9f
|
added Logic
|
2018-01-05 21:30:39 -02:00 |
|
wadler
|
62f3ccd3bd
|
PropertiesEx and RelationsEx
|
2018-01-05 19:30:53 -02:00 |
|
wadler
|
75f59e722d
|
created EvenOdd
|
2018-01-05 19:29:29 -02:00 |
|
wadler
|
e43a20aa2e
|
created RelationsEx
|
2018-01-05 19:18:21 -02:00 |
|
wadler
|
0e4c77c0fb
|
renaming to match standard library
|
2018-01-05 14:07:31 -02:00 |
|
wadler
|
2fc99f5b5d
|
finished first draft of Relations save for exercises
|
2018-01-04 20:43:26 -02:00 |
|
wadler
|
c9a71c9631
|
finished totality
|
2018-01-04 19:51:00 -02:00 |
|
wadler
|
f1d4946613
|
starting on antisymmetry
|
2018-01-04 13:23:15 -02:00 |
|
wadler
|
8eb3f00554
|
text for reflexivity and transitivity
|
2018-01-04 12:37:25 -02:00 |
|
wadler
|
8f6f629ff2
|
added Relations
|
2018-01-03 20:03:08 -02:00 |
|
wadler
|
85312c0f00
|
added Exercises
|
2018-01-02 19:47:04 -02:00 |
|
wadler
|
db395b3d89
|
completed first draft of Properties save for exercises
|
2018-01-02 18:15:13 -02:00 |
|
wadler
|
33640cf86e
|
fixing ndash and mdash
|
2018-01-01 19:03:51 -02:00 |
|
wadler
|
bf6c5a0602
|
finished proof of assoc+
|
2018-01-01 17:40:30 -02:00 |
|
wadler
|
7c7ecbe950
|
added Properties
|
2018-01-01 15:45:01 -02:00 |
|
wadler
|
d83f9539a1
|
finished with Induction for Sunday@
|
2017-12-31 13:09:53 -02:00 |
|
wadler
|
cc1eb04846
|
clean up
|
2017-12-31 11:55:06 -02:00 |
|
wadler
|
2800de86e3
|
completed subsection on recursive definitions
|
2017-12-30 14:48:32 -02:00 |
|
wadler
|
76e9b8e690
|
completed subsection on recursive definitions
|
2017-12-30 14:38:09 -02:00 |
|
wadler
|
4c538c96dd
|
inductive definition of addition
|
2017-12-30 12:54:51 -02:00 |
|
wadler
|
bd3e2762aa
|
starting second section of Naturals
|
2017-12-30 11:35:29 -02:00 |
|
wadler
|
92efda2162
|
minor edits to Natural. End of work on Fri 29 Dec
|
2017-12-29 15:58:21 -02:00 |
|
wadler
|
1bd1f19f52
|
added more to Naturals
|
2017-12-29 15:53:02 -02:00 |
|
wadler
|
5d4997bc0c
|
fixed index
|
2017-12-29 14:56:08 -02:00 |
|
wadler
|
a83e020034
|
first draft of Naturals
|
2017-12-29 14:54:12 -02:00 |
|
Philip Wadler
|
3f10630ab8
|
refinements to Basics
|
2017-10-03 12:59:23 +01:00 |
|
Philip Wadler
|
964ed65922
|
decidable equality in basics
|
2017-10-01 22:06:35 +01:00 |
|
Philip Wadler
|
4d04279d04
|
a bit more basics of arithmetic
|
2017-10-01 21:46:17 +01:00 |
|
Philip Wadler
|
9067c7a317
|
basics of arithmetic
|
2017-10-01 21:36:21 +01:00 |
|
Philip Wadler
|
6ff8e77c22
|
changes to README and config
|
2017-09-13 17:34:32 +01:00 |
|
wadler
|
844d39fef0
|
added unicode names
|
2017-07-24 12:05:21 +01:00 |
|
wadler
|
a96c961727
|
added emoji example to alpha renaming
|
2017-07-24 11:54:46 +01:00 |
|
Philip Wadler
|
8fb67556ed
|
last fixes to Stlc and StlcProp before sending out for comment
|
2017-07-19 13:02:23 +01:00 |
|