diff options
| author | Yuchen Pei <id@ypei.org> | 2023-08-14 13:55:57 +1000 |
|---|---|---|
| committer | Yuchen Pei <id@ypei.org> | 2023-08-14 13:55:57 +1000 |
| commit | 1e1e08067becd0a0aadfe36f8f3aa9d9af6b8c44 (patch) | |
| tree | 9745a80cf3e9c5d40e3317c78326b90da0b455c7 /microposts/dependent-types.org | |
| parent | 0e1e02e60217c7ed587684f229c22f5c5bbf70bb (diff) | |
typo
Diffstat (limited to 'microposts/dependent-types.org')
0 files changed, 0 insertions, 0 deletions