Hlavní navigace

Názor ke článku Jemný úvod do jazyka Idris (2) - Některé výrazy jsou si rovnější od BoneFlute - Nečapu se :-( Něco, snad jen v syntaxi, mi...