Skip to content
Dependabot Auto-Merge

fix(typecheck): infer recursive functions' return type by fixpoint (#88) #96

Sign in to view logs

fix(typecheck): infer recursive functions' return type by fixpoint (#88)

fix(typecheck): infer recursive functions' return type by fixpoint (#88) #96

Triggered via pull request July 29, 2026 00:48
@hyperpolymathhyperpolymath
opened #91
feat/corpus-typing-88
Status Skipped
Total duration 9s
Artifacts –

dependabot-automerge.yml

on: pull_request
automerge
0s
automerge
Fit to window
Zoom out
Zoom in