Mercurial > repo
view wisdom/perfunctory @ 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 | 1063e9a44522 |
children |
line wrap: on
line source
A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.