diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2020-05-22 22:10:39 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2020-05-22 22:11:53 +0200 |
| commit | 3f180e74d54ab447d3ef16ed5439e0abe8d1da97 (patch) | |
| tree | cb7ceba41d6b2c589e4f0c1a44013928ebbea89d /functorproof.txt | |
| parent | 8eb30e233b1f2627fcb4b1d59f6473efc19dfedd (diff) | |
Fix parser ('try' and numbers)
Diffstat (limited to 'functorproof.txt')
0 files changed, 0 insertions, 0 deletions