പ്രമാണം:OCaml Logo.svg
ഈ SVG പ്രമാണത്തിന്റെ PNG പ്രിവ്യൂവിന്റെ വലിപ്പം: 525 × 144 പിക്സലുകൾ. മറ്റ് റെസലൂഷനുകൾ: 320 × 88 പിക്സലുകൾ | 640 × 176 പിക്സലുകൾ | 1,024 × 281 പിക്സലുകൾ | 1,280 × 351 പിക്സലുകൾ | 2,560 × 702 പിക്സലുകൾ.
പൂർണ്ണ വലിപ്പം (എസ്.വി.ജി. പ്രമാണം, നാമമാത്രമായ 525 × 144 പിക്സലുകൾ, പ്രമാണത്തിന്റെ വലിപ്പം: 12 കെ.ബി.)
പ്രമാണ നാൾവഴി
ഏതെങ്കിലും തീയതി/സമയ കണ്ണിയിൽ ഞെക്കിയാൽ പ്രസ്തുതസമയത്ത് ഈ പ്രമാണം എങ്ങനെയായിരുന്നു എന്നു കാണാം.
തീയതി/സമയം | ലഘുചിത്രം | അളവുകൾ | ഉപയോക്താവ് | അഭിപ്രായം | |
---|---|---|---|---|---|
നിലവിലുള്ളത് | 18:13, 29 ജനുവരി 2015 | 525 × 144 (12 കെ.ബി.) | Hexaphixylix | User created page with UploadWizard |
പ്രമാണത്തിന്റെ ഉപയോഗം
താഴെ കാണുന്ന താളിൽ ഈ ചിത്രം ഉപയോഗിക്കുന്നു:
പ്രമാണത്തിന്റെ ആഗോള ഉപയോഗം
താഴെ കൊടുത്തിരിക്കുന്ന മറ്റ് വിക്കികൾ ഈ പ്രമാണം ഉപയോഗിക്കുന്നു:
- ar.wikipedia.org സംരംഭത്തിലെ ഉപയോഗം
- az.wikipedia.org സംരംഭത്തിലെ ഉപയോഗം
- ca.wikipedia.org സംരംഭത്തിലെ ഉപയോഗം
- cs.wikipedia.org സംരംഭത്തിലെ ഉപയോഗം
- da.wikipedia.org സംരംഭത്തിലെ ഉപയോഗം
- de.wikipedia.org സംരംഭത്തിലെ ഉപയോഗം
- 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)
ഈ പ്രമാണത്തിന്റെ കൂടുതൽ ആഗോള ഉപയോഗം കാണുക.