Skip to content

Make names in scope in functors accessible when their instantiations are loaded at the REPL #85

Make names in scope in functors accessible when their instantiations are loaded at the REPL

Make names in scope in functors accessible when their instantiations are loaded at the REPL #85

Triggered via pull request August 10, 2023 22:29
@qsctrqsctr
synchronize #1559
T1455
Status Success
Total duration 2m 59s
Artifacts

docs.yml

on: pull_request
build-branch-docs
1m 39s
build-branch-docs
build-pages-docs
2m 48s
build-pages-docs
Fit to window
Zoom out
Zoom in