Philip Wadler
|
ad6f853946
|
restoring extra
|
2019-01-08 14:11:20 +00:00 |
|
Philip Wadler
|
6f6d02eed4
|
added line to explain defn of multiplication
|
2019-01-08 12:12:26 +00:00 |
|
Philip Wadler
|
ca4b9df604
|
end of day with Conor. Weakening of Pi is bollocks
|
2018-08-24 18:23:52 +01:00 |
|
Philip Wadler
|
af6bca49f6
|
progress on PureConor
|
2018-08-24 13:47:25 +01:00 |
|
wadler
|
4e7486911b
|
halfway through updating Lambda
|
2018-06-24 11:34:19 -07:00 |
|
wadler
|
976f15d2f5
|
moved Properties to Induction
|
2018-06-18 08:13:37 -07:00 |
|
wadler
|
45ed4f4a39
|
added PureConor
|
2018-06-15 09:58:13 -07:00 |
|