Kim Morrison 51b56b20ec feat: missing monadic functions on List/Array/Vector (#6845) ... This PR adds missing monadic higher order functions on `List`/`Array`/`Vector`. Only the most basic verification lemmas (relating the operations on the three container types) are provided for now.		2025-01-29 12:19:30 +00:00
..
bench	test: identifier completion benchmark (#6796)	2025-01-27 19:31:32 +00:00
compiler
elabissues
ir
lean	feat: missing monadic functions on List/Array/Vector (#6845)	2025-01-29 12:19:30 +00:00
pkg
playground
plugin
simpperf
.gitignore
common.sh
lean-toolchain