Fil:OCaml Logo.svg
Storleik på denne PNG-førehandsvisinga av denne SVG-fila: 525 × 144 pikslar. Andre oppløysingar: 320 × 88 pikslar | 640 × 176 pikslar | 1 024 × 281 pikslar | 1 280 × 351 pikslar | 2 560 × 702 pikslar.
Opphavleg fil (SVG-fil, standardoppløysing: 525 × 144 pikslar, filstorleik: 12 KB)
Følgjande er henta frå filomtalen åt denne fila på Wikimedia Commons:
Skildring
| Skildring |
English: OCaml Logo |
| Dato | |
| Kjelde | https://ocaml.org/ |
| Opphavsperson | OCaml.org project |
| Løyve (Gjenbruk av denne fila) |
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 |  Kjeldekoden til denne gyldig.  Vektorgrafikken vart laga med Adobe Illustrator. |
Lisensiering:
|
Dette verket er vorte frigjeve til ålmenta av opphavspersonen, INRIA. Dette gjeld over heile verda. I somme landa er dette kan henda ikkje rettsleg mogeleg. I det fall: INRIA gjev kven som helst rettane til å nytta dette verket for kva som helst føremål og utan vilkår, minder vilkår er kravde etter lova.
|
Filhistorikk
Klikk på dato/klokkeslett for å sjå fila slik ho var på det tidspunktet.
| Dato/klokkeslett | Miniatyrbilete | Oppløysing | Brukar | Kommentar | |
|---|---|---|---|---|---|
| gjeldande | 29. januar 2015 kl. 20:13 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Filbruk
Den følgjande sida bruker denne fila:
Global filbruk
Desse andre wikiane nyttar fila:
- Bruk på ar.wikipedia.org
- Bruk på az.wikipedia.org
- Bruk på ca.wikipedia.org
- Bruk på cs.wikipedia.org
- Bruk på da.wikipedia.org
- Bruk på de.wikipedia.org
- Bruk på 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)
- Rocq
- History of programming languages
- 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
Sjå meir global bruk av denne fila.
