Skip to content

Actions: WegmannDavid/LambdaLab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow runs
173 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Named CoC, and the collapse pays a second time Lean Action CI #160: Commit 9b09694 pushed by WegmannDavid
1m 43s coc-debruijn
coc-debruijn
1m 43s
The Calculus of Constructions: one syntactic category, both tower slots Lean Action CI #159: Commit 29af5ee pushed by WegmannDavid
1m 46s coc-debruijn
coc-debruijn
1m 46s
Named System F: two alphabets, capture avoided twice over Lean Action CI #158: Commit bcf5bae pushed by WegmannDavid
2m 4s sysf-debruijn
sysf-debruijn
2m 4s
System F arrives, de Bruijn first, with STLC already embedded Lean Action CI #157: Commit e6b3c70 pushed by WegmannDavid
2m 17s sysf-debruijn
sysf-debruijn
2m 17s
The named STLC tower rides the bridge Lean Action CI #156: Commit ef03586 pushed by WegmannDavid
2m 33s main
main
2m 33s
The named STLC tower rides the bridge Publish compiler #13: Commit ef03586 pushed by WegmannDavid
1m 43s main
main
1m 43s
The named STLC tower rides the bridge Lean Action CI #155: Commit ef03586 pushed by WegmannDavid
2m 41s bridge-interface
bridge-interface
2m 41s
The bridge tower closes: transports are unconditional, and reflection… Lean Action CI #154: Commit 0396ba6 pushed by WegmannDavid
2m 28s bridge-interface
bridge-interface
2m 28s
BridgedSys: pairs with their audit, and STLC is its first object Lean Action CI #153: Commit ace29ba pushed by WegmannDavid
1m 45s bridge-interface
bridge-interface
1m 45s
Two categories of type systems, lax on Step, axioms definitional Lean Action CI #152: Commit 3e16b8a pushed by WegmannDavid
2m 16s bridge-interface
bridge-interface
2m 16s
The typing bridge: the judgement crosses over, and preservation rides it Lean Action CI #151: Commit 78664db pushed by WegmannDavid
1m 35s bridge-interface
bridge-interface
1m 35s
The bridge, one obligation per class, and STLC is its instance Lean Action CI #150: Commit 2f6bc71 pushed by WegmannDavid
1m 33s bridge-interface
bridge-interface
1m 33s
The de Bruijn folder takes the named one's shape Publish compiler #12: Commit 921e140 pushed by WegmannDavid
2m 3s main
main
2m 3s
The de Bruijn folder takes the named one's shape Lean Action CI #149: Commit 921e140 pushed by WegmannDavid
2m 16s main
main
2m 16s
The de Bruijn folder takes the named one's shape Lean Action CI #148: Commit 921e140 pushed by WegmannDavid
2m 7s debruijn-typesystem
debruijn-typesystem
2m 7s
Discharge the de Bruijn frontier: eleven sorries, zero left Lean Action CI #147: Commit 7f6fb82 pushed by WegmannDavid
1m 44s debruijn-typesystem
debruijn-typesystem
1m 44s
The de Bruijn tower states its purpose: metatheory, never the front end Lean Action CI #146: Commit a900734 pushed by WegmannDavid
1m 46s debruijn-typesystem
debruijn-typesystem
1m 46s
The de Bruijn tower: the named interface, minus the names Lean Action CI #145: Commit 73c2ede pushed by WegmannDavid
1m 56s debruijn-typesystem
debruijn-typesystem
1m 56s
Elide the demo's binder arrows too: _ → _ infers from the argument Publish compiler #11: Commit 27a2bf2 pushed by WegmannDavid
2m 1s main
main
2m 1s
Elide the demo's binder arrows too: _ → _ infers from the argument Lean Action CI #144: Commit 27a2bf2 pushed by WegmannDavid
2m 16s main
main
2m 16s
Elide the demo's binder arrows too: _ → _ infers from the argument Lean Action CI #143: Commit 27a2bf2 pushed by WegmannDavid
1m 38s freshen-stage
freshen-stage
1m 38s
Holes keep the capstone, and the prose collects its old promise Lean Action CI #142: Commit 2baa277 pushed by WegmannDavid
2m 3s freshen-stage
freshen-stage
2m 3s
Name the payoff: any accepted file is a realization, at the String API Lean Action CI #141: Commit 7f03dd0 pushed by WegmannDavid
1m 36s main
main
1m 36s
Name the payoff: any accepted file is a realization, at the String API Publish compiler #10: Commit 7f03dd0 pushed by WegmannDavid
2m 7s main
main
2m 7s
Delete the Lossless layer, and make the prose say what the laws say Lean Action CI #140: Commit 59ef93f pushed by WegmannDavid
2m 24s main
main
2m 24s