diff options
| author | csmoe <[email protected]> | 2019-06-11 14:24:14 +0100 |
|---|---|---|
| committer | csmoe <[email protected]> | 2019-06-12 15:32:39 +0100 |
| commit | 2ca9f718978b20e8cffb669dc61b63ad7d5e82cd (patch) | |
| tree | 0523b0929ac4703d1648cb0eac1fc4ea14a8b2d6 /docs/dev | |
| parent | 3f5f9f0560fa662e770b607f05ec4881e4d011c5 (diff) | |
fix: support existential type
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions