diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2022-03-03 15:11:05 +0100 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2022-06-27 21:13:31 +0200 |
| commit | cde8094c1f81a74d8a434c4cbf41b4d9183e2879 (patch) | |
| tree | 54b211d62a2fd57dcf3fd1c589bc2a8b3978912f /nest | |
| parent | 93d6096c8714f3c7c9450df89e812021a212b978 (diff) | |
Filter: Improve description of type system
Diffstat (limited to 'nest')
0 files changed, 0 insertions, 0 deletions