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 226–236

namedCoreApp2

Full file
226def namedCoreApp2 :
227  (pi unrestricted function : (family NamedCoreTerm) .
228    (pi unrestricted first : (family NamedCoreTerm) .
229      (pi unrestricted second : (family NamedCoreTerm) .
230        (family NamedCoreTerm)))) =
231  (lambda unrestricted function : (family NamedCoreTerm) .
232    (lambda unrestricted first : (family NamedCoreTerm) .
233      (lambda unrestricted second : (family NamedCoreTerm) .
234        (constructor NamedCoreTerm NamedCoreApplication
235          (constructor NamedCoreTerm NamedCoreApplication function first)
236          second))))

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.