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
|
b5b755ac49
|
publishing Basics
|
2017-10-01 20:23:11 +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 |
|
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 |
|
Philip Wadler
|
8fb67556ed
|
last fixes to Stlc and StlcProp before sending out for comment
|
2017-07-19 13:02:23 +01:00 |
|
Philip Wadler
|
b0a6f9bc5a
|
small fix to Stlc
|
2017-07-17 18:12:41 +01:00 |
|
Philip Wadler
|
4c5214b882
|
small fix to Stlc
|
2017-07-17 18:11:44 +01:00 |
|
Philip Wadler
|
8658bb1b42
|
finished first draft of Stlc
|
2017-07-17 18:09:37 +01:00 |
|
Philip Wadler
|
3b62e81c06
|
minor fixes to Stlc
|
2017-07-17 16:06:36 +01:00 |
|
Philip Wadler
|
0432804150
|
added material on free and bound variables to Stlc
|
2017-07-14 18:43:01 +01:00 |
|
Philip Wadler
|
b66ccb4dd6
|
added material on free and bound variables to Stlc
|
2017-07-14 18:42:45 +01:00 |
|
Philip Wadler
|
1738eb3998
|
first draft of Stlc complete to beginning of types
|
2017-07-14 17:30:05 +01:00 |
|
Philip Wadler
|
daf8cda196
|
starting on values
|
2017-07-14 14:25:34 +01:00 |
|