git.iko.soy/Idris-dev
on master help sign in
oops undo fie changed in error
75e2f82martinbaker
docs/reference/syntax-guide.rst+1−1
compare with master
unifiedsplit
@@ -83,7 +83,7 @@ users of the module being written. This can be done using ``import public``:
83
83
84.. code-block:: idris
84.. code-block:: idris
85
85
86− # import public Data.Vect
86+ import public Data.Vect
87
87
88.. _syntax-variables:
88.. _syntax-variables:
89
89