Hlavní navigace

Názor ke článku Jemný úvod do jazyka Idris (1) - Konstrukce a eliminace od BoneFlute - Ahoj. Rychlost, s jakou to popisuješ mi vyhovuje. Ale...