On Sunday, 2 June 2019 18:49:30 UTC+1, Kevin Buzzard wrote:
>
> The thing I know for sure is 
> that there are modern maths undergraduates who grew up with computer 
> games and who find the idea of turning their example sheet questions 
> into levels of a computer game quite appealing. 
>
>
I am surprised that Thorsten Altenkirch didn't manifest himself at this 
point. He uses to say that you can't teach old dogs new tricks. 

I am not sure it is the computer games (it could be, and if not they could 
anyway help, perhaps). I think it is their open minds.

Martin

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/209e2262-cb8a-4b31-9b6b-44a5df0185a5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.