Do you do any proofs?
-
-
-
There are no proofs in the 1st year course as I wanted the emphasis to be solely on programming, but the 2nd year course is 50% about proofs, with the other 50% being about monads.
- Još 2 druga odgovora
Novi razgovor -
-
-
We have already had a full week of term here -- lecture 4 in hour!
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.
Author of Programming in Haskell
Food Nerd
Glaswegian 