Fayl:OCaml Logo.svg
Naviqasiyaya keç
Axtarışa keç
Bu SVG-faylın PNG formatındakı bu görünüşünün ölçüsü: 525 × 144 piksel. Digər ölçülər: 320 × 88 piksel | 640 × 176 piksel | 1.024 × 281 piksel | 1.280 × 351 piksel | 2.560 × 702 piksel.
Faylın orijinalı (SVG faylı, nominal olaraq 525 × 144 piksel, faylın ölçüsü: 12 KB)
|
Bu fayl "Vikimedia Commons"dadır və digər layihələrdə istifadə edilə bilər. |
 |
Faylın təsvir səhifəsinə get |
Xülasə
| İzah |
English: OCaml Logo |
| Tarix | |
| Mənbə | https://ocaml.org/ |
| Müəllif | OCaml.org project |
| İcazə (Faylın təkrar istifadəsi) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG genesis |  This vector image was created with Adobe Illustrator. |
Lisenziya
|
This work has been released into the public domain by its author, INRIA. This applies worldwide. In some countries this may not be legally possible; if so: INRIA grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
|
Faylın tarixçəsi
Faylın əvvəlki versiyasını görmək üçün gün/tarix bölməsindəki tarixlərə klikləyin.
| Tarix/Vaxt | Kiçik şəkil | Ölçülər | İstifadəçi | Şərh | |
|---|---|---|---|---|---|
| indiki | 18:13, 29 yanvar 2015 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Fayl keçidləri
Aşağıdakı səhifə bu faylı istifadə edir:
Faylın qlobal istifadəsi
Bu fayl aşağıdakı vikilərdə istifadə olunur:
- ar.wikipedia.org layihəsində istifadəsi
- ca.wikipedia.org layihəsində istifadəsi
- cs.wikipedia.org layihəsində istifadəsi
- da.wikipedia.org layihəsində istifadəsi
- de.wikipedia.org layihəsində istifadəsi
- en.wikipedia.org layihəsində istifadəsi
- ML (programming language)
- OCaml
- Poplog
- Robin Milner
- Standard ML
- Isabelle (proof assistant)
- HOL (proof assistant)
- Logic for Computable Functions
- F Sharp (programming language)
- Coq (software)
- Extended ML
- MLton
- Xavier Leroy
- Lennart Augustsson
- Standard ML of New Jersey
- Dependent ML
- Concurrent ML
- Twelf
- Camlp4
- SLAM project
- Caml
- MacroML
- Don Sannella
- FFTW
- Damien Doligez
- GeneWeb
- JoCaml
- HOL Light
- Haxe
- MTASC
- Frank Pfenning
- Matita
- Gérard Huet
- ATS (programming language)
- Marionnet
- Frama-C
- Don Syme
- Alice (programming language)
- Astrée (static analysis)
- Thierry Coquand
- LEGO (proof assistant)
- F* (programming language)
- Alt-Ergo
- Ur (programming language)
- Steven G. Johnson
Bu faylın qlobal istifadəsinə baxın.
