Skip to content

Fix evaluation of operations that return reducible terms (#293) #62

Fix evaluation of operations that return reducible terms (#293)

Fix evaluation of operations that return reducible terms (#293) #62

Triggered via push June 27, 2025 21:21
Status Success
Total duration 2m 19s
Artifacts

publish_docs.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
pages
duplicate object description of effectful.handlers.torch.torch_getitem, other instance in effectful, use :no-index: for one of them
pages
duplicate object description of effectful.handlers.pyro.pyro_sample, other instance in effectful, use :no-index: for one of them
pages
duplicate object description of effectful.ops.semantics.fwd, other instance in effectful, use :no-index: for one of them
pages
duplicate object description of effectful.ops.semantics.apply, other instance in effectful, use :no-index: for one of them
pages
duplicate object description of effectful.ops.syntax.deffn, other instance in effectful, use :no-index: for one of them