Skip to content
Snippets Groups Projects

fix(elaboration): rewrite `apply_trace` to catch `LetIn` errors

Passed
pigeonmoelleux created pipeline for commit bd1bb11f
, finished
1 related merge request: !91 Resolve "Add `let` binder"
latest
6 jobs 55 minutes 38 seconds, queued for 7 seconds