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 165–178

app3

Full file
165def app3 :
166  (pi unrestricted function : (family Term) .
167    (pi unrestricted first : (family Term) .
168      (pi unrestricted second : (family Term) .
169        (pi unrestricted third : (family Term) . (family Term))))) =
170  (lambda unrestricted function : (family Term) .
171    (lambda unrestricted first : (family Term) .
172      (lambda unrestricted second : (family Term) .
173        (lambda unrestricted third : (family Term) .
174          (constructor Term Application
175            (constructor Term Application
176              (constructor Term Application function first)
177              second)
178            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.