Skip to content

fix: isDefEq, whnf, simp caching and configuration #6247

fix: isDefEq, whnf, simp caching and configuration

fix: isDefEq, whnf, simp caching and configuration #6247

Triggered via pull request November 16, 2024 19:12
Status Success
Total duration 17s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
7s
check-prelude
Fit to window
Zoom out
Zoom in