Preparing for tech job interviews led me to verify leftist heaps using fancy types in Haskell (not kidding). Here’s a blog post explaining that and most type-level computation features of Haskell. https://dodisturb.me/posts/2019-10-03-Verifying-the-Titular-Properties-of-a-Leftist-Heap.html …
02:00 - 4. lis 2019.
0 replies
12 proslijeđenih tweetova
33 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.