Vítejte na blog.vyvojar.cz Přihlásit | Registrovat | Pomoc
Titulní Blogy Fotky Soubory

Tomášův blog ..

((.)$(.)) The owl has type (a->b ->c)->a->(a1->b)->a1->c

říjen 2006 - Posts

Powered by Community Server (Personal Edition), by Telligent Systems