git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Merge pull request #446 from nagisa/patch-1
d428e60Gary Burgess
docs/source/types.rst+1−1
@@ -84,7 +84,7 @@ The inferred type of ``addProps`` is::
84
84
85Here, the type variable ``r`` has kind ``# *`` - it represents a `row` of `types`. It can be instantiated with any row of named types.
85Here, the type variable ``r`` has kind ``# *`` - it represents a `row` of `types`. It can be instantiated with any row of named types.
86
86
87−In other words, ``addProps`` accepts any record which has properties ``Foo`` and ``Bar``, and *any other record properties*.
87+In other words, ``addProps`` accepts any record which has properties ``foo`` and ``bar``, and *any other record properties*.
88
88
89Therefore, the following application compiles::
89Therefore, the following application compiles::
90
90