Hlavní navigace

Názor ke článku Jemný úvod do jazyka Idris (2) - Některé výrazy jsou si rovnější od v - zkusil jsem proof2 přepsat do trochu jiné formy,...