Agda is a dependently typed programming language and theorem prover. Learn more about it together with @p_morphism:https://serokell.io/blog/agda-in-nutshell …
0 replies
3 proslijeđena tweeta
14 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.