AlphaGitHub
Source/Packages

Compiler.ApplicationBuilder

packages/compiler/src/Compiler/ApplicationBuilder.alpha

767 lines104 declarations33.8 KiBSHA-256 4afcba25576e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 328–345

coreApp4

Full file
328def coreApp4 :
329  (pi unrestricted function : (family CoreTerm) .
330    (pi unrestricted first : (family CoreTerm) .
331      (pi unrestricted second : (family CoreTerm) .
332        (pi unrestricted third : (family CoreTerm) .
333          (pi unrestricted fourth : (family CoreTerm) . (family CoreTerm)))))) =
334  (lambda unrestricted function : (family CoreTerm) .
335    (lambda unrestricted first : (family CoreTerm) .
336      (lambda unrestricted second : (family CoreTerm) .
337        (lambda unrestricted third : (family CoreTerm) .
338          (lambda unrestricted fourth : (family CoreTerm) .
339            (constructor CoreTerm CoreApplication
340              (constructor CoreTerm CoreApplication
341                (constructor CoreTerm CoreApplication
342                  (constructor CoreTerm CoreApplication function first)
343                  second)
344                third)
345              fourth))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.