Hlavní navigace

Názor ke článku Jemný úvod do jazyka Idris (1) - Konstrukce a eliminace od Calculon - Jde o tak rozsáhlé téma, že to taky...