Topos is a dream come true!
Video from lecture 3 in Programming with Categories is about lambda calculus and functors.https://www.youtube.com/watch?v=1ar_eC9tfm0 …
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
I hope next week in the session on coalgebras you can manage to tie this to Object Oriented Programming. I think if there is one thing that Cats does amazingly is act via dualities as a reconciliation tool: at least one should show that there is a bridge there.
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.