Chaidh dreach 8.12 a leigeil ma sgaoil (is e an dreach beag as ùire a tha ri fhaighinn aig àm sgrìobhaidh na naidheachdan 8.12.1) den inneal dearbhaidh teòirim eadar-ghnìomhach Coq (coileach).
Tha Coq a’ toirt a-steach cànan prògramadh seòrsa eisimeileach Gallina (cearc), a tha stèidhichte air teòiridh togail calculus.
Leigidh an siostam Coq leat an dà chuid dearbhaidhean teòirim agus prògraman dearbhaidh coimpiutair a leasachadh còmhla ri dearbhadh air gèilleadh ris an t-sònrachadh.
Tha an dreach ùr air leasachadh mòr a thoirt air an leabharlann àbhaisteach agus na sgrìobhainnean, agus cuideachd air grunn mhearachdan a shuidheachadh.
Source: linux.org.ru