many years later, Soham would remember that day he first experienced the suffering of those cursed with manual De Bruijn index manipulation
Prikaži ovu nit
-
it irks me to no end that you're apparently *officially* supposed to capitalise the De in Dutch family names now (?), unless you're writing the full name
Prikaži ovu nit
okay I've managed to implement normalisation by evaluation for the untyped lambda-calculus using Abel's thesis as a reference 
pic.twitter.com/MSyJG7CTGB
-
-
now all that remains is to finish understanding why everything works out so well
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
update: there was something very wrong with this screenshot that nobody was rude enough to point out smh
Prikaži ovu nitHvala. 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.