Slides for "Resource Constrained Programming with Full Dependent Types" http://dlvr.it/RNqmxh pic.twitter.com/l7av4mAlI8
04:32 - 27. sij 2020.
0 replies
8 proslijeđenih tweetova
13 korisnika označava da im se sviđa
Č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.