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 302–311

coreApp2

Full file
302def coreApp2 :
303  (pi unrestricted function : (family CoreTerm) .
304    (pi unrestricted first : (family CoreTerm) .
305      (pi unrestricted second : (family CoreTerm) . (family CoreTerm)))) =
306  (lambda unrestricted function : (family CoreTerm) .
307    (lambda unrestricted first : (family CoreTerm) .
308      (lambda unrestricted second : (family CoreTerm) .
309        (constructor CoreTerm CoreApplication
310          (constructor CoreTerm CoreApplication function first)
311          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.