Re: Inept leadership

2020-01-03 Thread Bruce Kellett
On Sat, Jan 4, 2020 at 9:16 AM Alan Grayson wrote: > On Friday, January 3, 2020 at 2:30:08 PM UTC-7, Bruce wrote: >> >> The bush fires in Australia have shown up a serious deficit of >> leadership in Australia's Prime Minister -- who holidays in Hawaii while >> Australia burns >> >> People

Re: Inept leadership

2020-01-03 Thread Russell Standish
The answer is yes. The enormity of the situation can be brought home by noting that more than half of Australia's population is affected by these fires, including myself; about five times the area of the recent California fires have been burnt in the last three months and about 2/3rds of

Re: Inept leadership

2020-01-03 Thread Alan Grayson
On Friday, January 3, 2020 at 2:30:08 PM UTC-7, Bruce wrote: > > The bush fires in Australia have shown up a serious deficit of > leadership in Australia's Prime Minister -- who holidays in Hawaii while > Australia burns > > People are asking for NZ to take over.. > >

Inept leadership

2020-01-03 Thread Bruce Kellett
The bush fires in Australia have shown up a serious deficit of leadership in Australia's Prime Minister -- who holidays in Hawaii while Australia burns People are asking for NZ to take over.. https://www.rt.com/news/477394-aussies-plead-nz-pm-takeover/ Bruce -- You received this

Introduction to Univalent Foundations of Mathematics with Agda

2020-01-03 Thread Philip Thrift
*Introduction to Univalent Foundations of Mathematics with Agd*a (4 March 2019, version of 18 December 2019) Martín Hötzel Escardó https://cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/HoTT-UF-Agda.html @philipthrift -- You received this message because you are subscribed to the Google