Faili:OCaml Logo.svg
Size of this PNG preview of this SVG file: piseli 525 × 144. Ukubwa zingine: piseli 320 × 88 | piseli 640 × 176 | piseli 1,024 × 281 | piseli 1,280 × 351 | piseli 2,560 × 702.
Faili halisi (faili la SVG, husemwa kuwa piseli 525 × 144, saizi ya faili: 12 KB)
Historia ya faili
Bonyeza tarehe/saa kuona faili kama ilivyoonekana wakati huo.
Tarehe/Saa | Picha ndogo | Vipimo | Mtumiaji | Maelezo | |
---|---|---|---|---|---|
sasa hivi | 18:13, 29 Januari 2015 | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Matumizi ya faili
Hakuna kurasa zozote zinazotumia faili hii.
Matumizi ya faili ulimwenguni
Wiki nyingine hutumia faili hizi:
- Matumizi kwa ar.wikipedia.org
- Matumizi kwa az.wikipedia.org
- Matumizi kwa ca.wikipedia.org
- Matumizi kwa cs.wikipedia.org
- Matumizi kwa da.wikipedia.org
- Matumizi kwa de.wikipedia.org
- Matumizi kwa en.wikipedia.org
- 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)
Tazama matumizi zaidi ya kimataifa ya faili hii.