diff options
| author | Eduardo Julian | 2021-05-18 00:41:28 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-05-18 00:41:28 -0400 |
| commit | 0cf68295abd2c60f8f3e576530fcdfdf48f82f9b (patch) | |
| tree | 1ef7002e076d8e6236324476b9244454d9cbc174 /documentation/bookmark/type_theory | |
| parent | 3f23fb8c846acfd7cf04481f12839469c63a1148 (diff) | |
Made it so that (_.times 1) still generates (and logs) a seed.
Diffstat (limited to 'documentation/bookmark/type_theory')
0 files changed, 0 insertions, 0 deletions