diff options
| author | Son Ho | 2022-02-08 23:40:02 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 23:40:02 +0100 |
| commit | 92134790df0ae636d3991234a0f9b48a0db08b6a (patch) | |
| tree | 2509995cf49081f368b5b96478787605fb291114 /src/Pure.ml | |
| parent | 8339005f639d04b025cc01b589a4491ab4ad5ec8 (diff) | |
Fix a few more mistakes
Diffstat (limited to 'src/Pure.ml')
0 files changed, 0 insertions, 0 deletions