I know they won't take over the world but seriously the guarantees you get with a dependent type system, when used right, feel just magical!
-
-
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.
Software security researcher. PhD student at CMU. CTFer (PPP). Open source dev. BTech (CSE) from IIT Roorkee.