Arthur Adjedj 1ea92baa21 fix: Incorrect promotion from index to paramater (#3591) ... Depends on #3590 Closes #3458		2024-05-06 05:58:15 +00:00
..
bench	chore: Nat.repr microbenchmark (#3888)	2024-04-17 18:10:32 +00:00
compiler
elabissues
ir
lean	fix: Incorrect promotion from index to paramater (#3591)	2024-05-06 05:58:15 +00:00
pkg	feat: validate reducibility attribute setting (#4052)	2024-05-03 13:44:42 +00:00
playground
plugin
simpperf
.gitignore
common.sh
lean-toolchain