AlphaGitHub
Source/Systems

Bob.Build.NativeHost

systems/bob/src/Bob/Build/NativeHost.alpha

882 lines46 declarations32.2 KiBSHA-256 3f8d3aa22d4e
Download exact fileView at revision426597bda5753d86c4

def · lines 693–695

bobAdamWLaunches

Full file
693def bobAdamWLaunches =
694  (lambda unrestricted k : Nat .
695    (constructor StdList StdListCons Nat (bobAdamWLaunch k) (constructor StdList StdListEmpty Nat)))

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.