New blog post! Part 2 of my adventures in @idrislang: correctness by construction, #gadt, more #lambdacalculus, and all that good stuff! http://www.tomharding.me/2018/01/27/dependable-types-2/ …
13:43 - 27. sij 2018.
0 replies
7 proslijeđenih tweetova
43 korisnika označavaju 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.