Skip to content

Move unfolding of `fst` and `snd` earlier

2c58879
Select commit
Loading
Failed to load commit list.
Merged

Move unfolding of fst and snd earlier #142

Move unfolding of `fst` and `snd` earlier
2c58879
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs