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 154–163

app2

Full file
154def app2 :
155  (pi unrestricted function : (family Term) .
156    (pi unrestricted first : (family Term) .
157      (pi unrestricted second : (family Term) . (family Term)))) =
158  (lambda unrestricted function : (family Term) .
159    (lambda unrestricted first : (family Term) .
160      (lambda unrestricted second : (family Term) .
161        (constructor Term Application
162          (constructor Term Application function first)
163          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.