on master help sign in
Add doc comment in System.Interactive
commit6c48da82f81cd564342ee1d8755b632979bcbabd authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 31 May 2015, 19:56 (11 years ago) parent0c953a9
1 file changed+6−7
libs/base/System/Interactive.idr+6−7
libs/base/System/Interactive.idr+6−7
@@ -1,13 +1,12 @@
1+||| Various helper functions for creating simple interactive systems.
2+|||
3+||| These are mostly intended for helping with teaching, in that they will allow
4+||| the easy creation of interactive programs without needing to teach IO
5+||| or Effects first, but they also capture some common patterns of interactive
6+||| programming.
17module System.Interactive
28
39{-
4−Various helper functions for creating simple interactive systems.
5−
6−These are mostly intended for helping with teaching, in that they will allow
7−the easy creation of interactive programs without needing to teach IO
8−or Effects first, but they also capture some common patterns of interactive
9−programming.
10−
1110When the interfaces and names are stable, these are intended for the Prelude.
1211-}
1312