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 238–252

namedCoreApp3

Full file
238def namedCoreApp3 :
239  (pi unrestricted function : (family NamedCoreTerm) .
240    (pi unrestricted first : (family NamedCoreTerm) .
241      (pi unrestricted second : (family NamedCoreTerm) .
242        (pi unrestricted third : (family NamedCoreTerm) .
243          (family NamedCoreTerm))))) =
244  (lambda unrestricted function : (family NamedCoreTerm) .
245    (lambda unrestricted first : (family NamedCoreTerm) .
246      (lambda unrestricted second : (family NamedCoreTerm) .
247        (lambda unrestricted third : (family NamedCoreTerm) .
248          (constructor NamedCoreTerm NamedCoreApplication
249            (constructor NamedCoreTerm NamedCoreApplication
250              (constructor NamedCoreTerm NamedCoreApplication function first)
251              second)
252            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.