Medijski sadržaj
- Tweetovi
- Tweetovi i odgovori
- Medijski sadržaj, trenutna stranica.
-
Ha, I was about to show you this snippet pic.twitter.com/8hqtL9S9pE, but it elicits a linker error. This must be the first program where I actually tried to *build* a data structure rather than just consuming it
-
Yes and ... yes? Not completely sure what you mean by that. Here is an unlifted GADT:pic.twitter.com/NBD4Xkwyd2
-
-
Found this in an alley around Glasgow University... Feed!pic.twitter.com/GCZq351GTN
-
Me declaring victory over "the last bug" in my patchhttps://www.youtube.com/watch?v=Hef3RG3GGpQ …
-
This is what I came up with so far. Took great inspiration in https://github.com/phadej/github/blob/6a44ccc135bbd69386f6adfd2c51ad3970aedc2e/README.md …pic.twitter.com/hUGBx2HLzw
Prikaži ovu nit -
Todays gem That ToDo has been there since GHC adopted a VCSpic.twitter.com/qjFQilLqS0
Prikaži ovu nit -
TAPL on programming languages with pure type systemspic.twitter.com/yF3IAGj4xo
Č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.