Arthur Adjedj 325fab1c1d fix: don't try to generate below for nested predicates. (#2390) ... * fix: don't try to generate `below` for nested predicates. * doc : document test #2389 * doc : document `mkBelow` * test: extend `2389.lean` * style: fix comments in `IndPredBelow.lean` and `2389.lean`		2023-09-21 14:24:37 +10:00
..
bench	chore: split up & simplify importModules	2023-08-31 15:37:33 -04:00
compiler	perf: Use flat ByteArrays in Trie (#2529)	2023-09-20 13:22:37 +02:00
elabissues
ir
lean	fix: don't try to generate below for nested predicates. (#2390)	2023-09-21 14:24:37 +10:00
pkg	chore: split up & simplify importModules	2023-08-31 15:37:33 -04:00
playground	perf: Use flat ByteArrays in Trie (#2529)	2023-09-20 13:22:37 +02:00
plugin	feat: profiling of linters	2023-04-18 15:30:21 +02:00
simpperf
.gitignore
common.sh	feat: LLVM backend (#1837)	2022-12-30 12:45:30 +01:00