defn: extensionality for ↯ · the1lab/1lab@285bd48

Triggered via pull request January 16, 2026 12:13

plt-amy

synchronize #569

aliao/wait

Status Success

Total duration 15m 21s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	15.7 MB	`sha256:7d71431cdd939ec3ff0916ecb33895ad525e29f7eb2eb027726bb74983828911`