Skip to content
Release Docs

fix: BoundVisitor should accept Bound instead of BoundTerm (#375) #67

Sign in to view logs

fix: BoundVisitor should accept Bound instead of BoundTerm (#375)

fix: BoundVisitor should accept Bound instead of BoundTerm (#375) #67

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docs
43s
43s