Awesome! Would you mind if @SamStites and I came over from Northeastern?
Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded
-
-
-
I wouldn't mind, but I don't know what MIT policy is.
@david_i_spivak may know. - Još 1 odgovor
Novi razgovor -
-
-
wow, what a team! looking forward to watching the recordings!
-
Right? Can't wait!
Kraj razgovora
Novi razgovor -
-
-
Why it have to be Haskell all the time
?, thank you for the opportunity though, really grateful for your hard work 
I’m waiting for the YT videos 
-
In support of these efforts, at Conexus we'd love to work with students at MIT or elsewhere on a Coq port of the Haskell code!
- Još 4 druga odgovora
Novi razgovor -
-
-
Is this only available for MIT students?
- Kraj razgovora
Novi razgovor -
-
-
Thanks for all your work! Can't wait!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
This is great, I am currently finishing your Category Theory III playlist on Youtube. As a programmer I fill this will be a great addition! Thank you very much for your work!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.