Hlavní navigace

Názor ke článku Jemný úvod do jazyka Idris (2) - Některé výrazy jsou si rovnější od Calculon - Co přesně není jasné?