David Thrane Christiansen 30a52b794a feat: add [ext] attribute to Array.ext (#4970) ... This fixes a minor papercut.		2024-08-09 12:40:39 +00:00
..
bench	chore: reduce stack space usage at instantiate_mvars_fn (#4931)	2024-08-06 17:38:59 +00:00
compiler	chore: fix tests	2024-06-19 20:21:34 +02:00
elabissues
ir
lean	feat: add [ext] attribute to Array.ext (#4970)	2024-08-09 12:40:39 +00:00
pkg	feat: accept user-defined options on the cmdline (#4741)	2024-08-02 12:24:56 +00:00
playground
plugin
simpperf
.gitignore
common.sh
lean-toolchain