diff options
| author | Arnaud Spiwack | 2014-04-25 16:38:54 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-04-25 16:39:03 +0200 |
| commit | 0b4147008092bc08e3188a73426e878cb9a9218d (patch) | |
| tree | b4492ce7bcc1b6092724c412f6e3daa9f0e4e2ab /doc/tutorial/Tutorial.tex | |
| parent | 38d2881dcd1917a93b202c16a55d57d51006ee88 (diff) | |
Fix a second, trickier, typo in Termops.eta_reduce_head.
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions