Dictionary
This commit is contained in:
Generated
+13
@@ -0,0 +1,13 @@
|
|||||||
|
<component name="ProjectDictionaryState">
|
||||||
|
<dictionary name="abreslav">
|
||||||
|
<words>
|
||||||
|
<w>inferrer</w>
|
||||||
|
<w>nullable</w>
|
||||||
|
<w>subtyping</w>
|
||||||
|
<w>supertype</w>
|
||||||
|
<w>supertypes</w>
|
||||||
|
<w>tuple</w>
|
||||||
|
<w>unary</w>
|
||||||
|
</words>
|
||||||
|
</dictionary>
|
||||||
|
</component>
|
||||||
Reference in New Issue
Block a user