Commit 2022-11-03 22:33 4d4fafa9
View on Github →chore: update std4 11-03 (#535)
The main change is that guard_target
and friends now use reducible defeq instead of syntactic eq by default.
chore: update std4 11-03 (#535)
The main change is that guard_target
and friends now use reducible defeq instead of syntactic eq by default.