lean4-htt/stage0
Henrik Böving a5d0ab510e
fix: regression caused by LCNF boxing (#12522)
This PR fixes a regression caused by the porting of the IR boxing to the
LCNF boxing pass.
2026-02-17 11:28:25 +00:00
..
src fix: regression caused by LCNF boxing (#12522) 2026-02-17 11:28:25 +00:00
stdlib chore: update stage0 2026-02-16 16:51:43 +00:00