diff options
| author | Josh Chen | 2018-08-06 23:56:10 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-06 23:56:10 +0200 |
| commit | 4bab3b7f757f7cfbf86ad289b9d92b19a987043a (patch) | |
| tree | e7af54428ac7a4f7129d3478b96ebf4152c4d201 /ex/HoTT Book | |
| parent | f0234b685d09a801f83a7db91c94380873832bd5 (diff) | |
Partway through changing function application syntax style.
Diffstat (limited to 'ex/HoTT Book')
0 files changed, 0 insertions, 0 deletions