Fil:OCaml Logo.svg
Størrelse for denne PNG-forhåndsvisningen av denne SVG-filen: 525 × 144 piksler Andre oppløsninger: 320 × 88 piksler | 640 × 176 piksler | 1 024 × 281 piksler | 1 280 × 351 piksler | 2 560 × 702 piksler.
Opprinnelig fil (SVG-fil, standardstørrelse 525 × 144 piksler, filstørrelse: 12 KB)
|
Denne filen er fra Wikimedia Commons og kan brukes av andre prosjekter. Informasjonen fra filbeskrivelsessiden vises nedenfor. |
Beskrivelse
| Beskrivelse |
English: OCaml Logo |
| Dato | |
| Kilde | https://ocaml.org/ |
| Opphavsperson | OCaml.org project |
| Tillatelse (Gjenbruk av denne filen) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG utvikling |  Denne vektorgrafikken ble laget med Adobe Illustrator. |
Lisensiering
|
Dette verket har blitt frigitt til allmennheten av opphavspersonen INRIA. Dette gjelder på verdensbasis. I enkelte land kan dette være juridisk umulig. I så fall: INRIA gir hvem som helst retten til å bruke dette verket for ethvert formål, uten noen vilkår, med mindre slike vilkår kreves ved lov.
|
Filhistorikk
Klikk på et tidspunkt for å vise filen slik den var på det tidspunktet.
| Dato/klokkeslett | Miniatyrbilde | Dimensjoner | Bruker | Kommentar | |
|---|---|---|---|---|---|
| nåværende | 29. jan. 2015 kl. 20:13 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Filbruk
Den følgende siden bruker denne filen:
Global filbruk
Følgende andre wikier bruker denne filen:
- Bruk i ar.wikipedia.org
- Bruk i az.wikipedia.org
- Bruk i ca.wikipedia.org
- Bruk i cs.wikipedia.org
- Bruk i da.wikipedia.org
- Bruk i de.wikipedia.org
- Bruk i 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)
Vis mer global bruk av denne filen.
