products
/
Sources
/
formale Sprachen
/
JAVA
/
openjdk-20-36_src
/
test
/
hotspot
/
jtreg
/
vmTestbase
/
nsk
/
monitoring
/
ThreadMXBean
/
GetThreadAllocatedBytes
/
noAllocationTest_proxy_custom
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Errors.out Sprache: Unknown
Untersuchungsergebnis.out Download desLatech {Latech[98] Haskell[228] Abap[243]}zum Wurzelverzeichnis wechseln
foo = fun
'(x, y) => x + y
: nat * nat -> nat
forall
'(a, b), a /\ b
: Prop
foo = λ
'(x, y), x + y
: nat * nat → nat
∀
'(a, b), a ∧ b
: Prop
[ zur Elbe Produktseite wechseln0.86Quellennavigators
]