Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Idris.
Zobrazeno 6 položek.
- Funkcionální programování (← odkazy | editovat)
- Typová kontrola (← odkazy | editovat)
- Idrís (přesměrování) (← odkazy | editovat)
- Wikipedista:Vojtěch Veselý/Tvorba (← odkazy | editovat)
- Wikipedie:Seznam rozcestníků (← odkazy | editovat)
- Wikipedie:Seznam rozcestníků/druhý typ (← odkazy | editovat)