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 313–326

coreApp3

Full file
313def coreApp3 :
314  (pi unrestricted function : (family CoreTerm) .
315    (pi unrestricted first : (family CoreTerm) .
316      (pi unrestricted second : (family CoreTerm) .
317        (pi unrestricted third : (family CoreTerm) . (family CoreTerm))))) =
318  (lambda unrestricted function : (family CoreTerm) .
319    (lambda unrestricted first : (family CoreTerm) .
320      (lambda unrestricted second : (family CoreTerm) .
321        (lambda unrestricted third : (family CoreTerm) .
322          (constructor CoreTerm CoreApplication
323            (constructor CoreTerm CoreApplication
324              (constructor CoreTerm CoreApplication function first)
325              second)
326            third)))))

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.