velkaencyklopedie.com
Ostatní jazyky
en
es
de
it
pt
pl
nl
cs
ro
hu
da
sv
no
fi
tr
Gallina
Gallina
Paradigmata
Čistě funkční
Psaní na stroji
Silný
,
statický
,
indukční typ
Ovlivněno
ML
Implementace
Kohout
Gallina je jednotný jazyk matematického popisu používaný
Coq
.
Gallina
znamenáv latině
slepice
.
externí odkazy
Referenční příručka Coq