2ca3bc2859
Hi, these are just some spelling corrections. There is one I wasn't completely sure about in src/Init/Data/List/Lemmas.lean: > See also > ... > Also > \* \`Init.Data.List.Monadic\` for **addiation** _(additional?)_ lemmas about \`List.mapM\` and \`List.forM\` |
||
|---|---|---|
| .. | ||
| algebra | ||
| experiments | ||
| grind_fin.lean | ||
| grind_palindrome.lean | ||
| README.md | ||
| sublist.lean | ||
Aspirational test cases for grind
These are not expected to work yet; we're collecting examples that we'd like to make work!