Hlavní navigace

Názor ke článku Jemný úvod do jazyka Idris (2) - Některé výrazy jsou si rovnější od v - nebo ještě jinak: totalproof2'' : {planet:Planet} -> planet =...