*screams internally*. But TBH the only complication here as far as conversion checking goes appears to be the arbitrary recursive types, which I'd try to handle with the "lazy recursive alpha-conversion" algorithm of http://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf …
-
-
Hvala. 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.