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
-
-
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
Prikaži ovu nit -
now all that remains is to finish understanding why everything works out so well
Prikaži ovu nit
Kraj razgovora
Novi razgovor -
Č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.