git.iko.soy/Idris-dev
on master help sign in
Couple of small tutorial typos were fixed.
8a25f65Denis Buzdalov
docs/tutorial/miscellany.rst+1−1
compare with master
unifiedsplit
@@ -242,7 +242,7 @@ through the following directives:
242Testing foreign function calls
242Testing foreign function calls
243------------------------------
243------------------------------
244
244
245−Normally, the Idris interpreter (used for typechecking and at the REPL)
245+Normally, the Idris interpreter (used for typechecking and as the REPL)
246will not perform IO actions. Additionally, as it neither generates C
246will not perform IO actions. Additionally, as it neither generates C
247code nor compiles to machine code, the ``%lib``, ``%include`` and
247code nor compiles to machine code, the ``%lib``, ``%include`` and
248``%link`` directives have no effect. IO actions and FFI calls can be
248``%link`` directives have no effect. IO actions and FFI calls can be
docs/tutorial/typesfuns.rst+1−1
@@ -1190,7 +1190,7 @@ name. For example, a pair type could be defined as follows:
1190 fst : a
1190 fst : a
1191 snd : b
1191 snd : b
1192
1192
1193−Using the ``class`` record from earlier, the size of the class can be
1193+Using the ``Class`` record from earlier, the size of the class can be
1194restricted using a ``Vect`` and the size included in the type by parameterising
1194restricted using a ``Vect`` and the size included in the type by parameterising
1195the record with the size. For example:
1195the record with the size. For example:
1196
1196