Since my son dropped Agda for Coq, he has been verbally and physically attacked, spat on and threatened. It'll be interesting to see what happens when he leaves the house.
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Microsoft once paid me to formalise celestial mechanics in Isabelle.
- Još 3 druga odgovora
Novi razgovor -
-
-
If I caught one of my girls doing that, why I'd take away all her compilers and make her JavaScript for a week! Too harsh?
-
People like you is why we need child protective services
Kraj razgovora
Novi razgovor -
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
dear stranger, my thoughts are with you and your family in this troubling time...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Honestly I'd be madder about the "physics simulation" part
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Hear hear! These actions simply do not typecheck!
#agdaHvala. 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.