Mercurial > repo
view wisdom/pumping lemma @ 9458:c332628b8660
<oerjan> le/rn hoag/`[hd]o[aw][gt] [<filename>] is a set of commands for querying HackEgo logs. `hoag is the basic version. d adds dates, w looks only in wisdom, and t lists in reverse.
author | HackBot |
---|---|
date | Thu, 27 Oct 2016 00:25:27 +0000 |
parents | 8cddc0cc649d |
children |
line wrap: on
line source
nooodl's pumping lemma for wisdom entries states that for any sufficiently long valid wisdom entry, there exists a letter that can be repeated any number of times.