Skip to content

feat: alignment of lemmas about monadic functions on List/Array/Vector#6883

Merged
kim-em merged 2 commits intomasterfrom more_monadicJan 31, 2025

Commits

Commits on Jan 31, 2025