![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| applicative.png | 2017-03-16 11:34 | 287K | |
| applicative2.png | 2017-03-16 11:34 | 173K | |
| badelem.png | 2017-03-16 11:34 | 26K | |
| basicshapes.png | 2017-03-16 11:34 | 72K | |
| breakingMT.png | 2017-03-16 11:34 | 127K | |
| breakingMT2.png | 2017-03-16 11:34 | 168K | |
| combinatorsshape.png | 2017-03-16 11:34 | 138K | |
| dsl_filter.png | 2017-03-16 11:34 | 102K | |
| eager.png | 2017-03-16 11:34 | 92K | |
| exT.png | 2017-03-16 11:34 | 48K | |
| exceptT.png | 2017-03-16 11:34 | 58K | |
| functor.png | 2017-03-16 11:34 | 182K | |
| kinds.png | 2017-03-16 11:34 | 66K | |
| lazy.png | 2017-03-16 11:34 | 52K | |
| lift1_stackM.png | 2017-03-16 11:34 | 62K | |
| lift2_stackM.png | 2017-03-16 11:34 | 72K | |
| m_err_st.png | 2017-03-16 11:34 | 45K | |
| m_err_st_ex.png | 2017-03-16 11:34 | 186K | |
| m_st_err.png | 2017-03-16 11:34 | 44K | |
| m_st_err_ex.png | 2017-03-16 11:34 | 212K | |
| missile_app.png | 2017-03-16 11:34 | 360K | |
| missile_monad.png | 2017-03-16 11:34 | 475K | |
| monad-proposal.png | 2017-03-16 11:34 | 71K | |
| monad_app_types.png | 2017-03-16 11:34 | 265K | |
| monad_bind.png | 2017-03-16 11:34 | 110K | |
| monad_bind2.png | 2017-03-16 11:34 | 321K | |
| monad_bind_st.png | 2017-03-16 11:34 | 319K | |
| monad_error.png | 2017-03-16 11:34 | 442K | |
| monad_id.png | 2017-03-16 11:34 | 26K | |
| monad_log.png | 2017-03-16 11:34 | 400K | |
| monad_msg.png | 2017-03-16 11:34 | 190K | |
| monad_r_id.png | 2017-03-16 11:34 | 42K | |
| monad_r_id_run.png | 2017-03-16 11:34 | 49K | |
| monad_seq.png | 2017-03-16 11:34 | 129K | |
| monad_seq_2.png | 2017-03-16 11:34 | 242K | |
| monad_seq_type_instr..> | 2017-03-16 11:34 | 292K | |
| monad_st_1.png | 2017-03-16 11:34 | 31K | |
| monad_st_2.png | 2017-03-16 11:34 | 78K | |
| monad_st_r_id.png | 2017-03-16 11:34 | 59K | |
| monad_trans.png | 2017-03-16 11:34 | 57K | |
| monad_trans2.png | 2017-03-16 11:34 | 81K | |
| monadt_func.png | 2017-03-16 11:34 | 169K | |
| monadt_reader.png | 2017-03-16 11:34 | 58K | |
| monadt_st.png | 2017-03-16 11:34 | 58K | |
| nosemgap.png | 2017-03-16 11:34 | 190K | |
| prov_skeleton.png | 2017-03-16 11:34 | 126K | |
| prov_test.png | 2017-03-16 11:34 | 81K | |
| raster.gif | 2017-03-16 11:34 | 69K | |
| reflection.png | 2017-03-16 11:34 | 170K | |
| reftrans.png | 2017-03-16 11:34 | 117K | |
| rotation.png | 2017-03-16 11:34 | 332K | |
| run_stackM.png | 2017-03-16 11:34 | 98K | |
| semgap.png | 2017-03-16 11:34 | 249K | |
| shapeanimation.png | 2017-03-16 11:34 | 19K | |
| shapecombinators.png | 2017-03-16 11:34 | 167K | |
| signal_apply_f.png | 2017-03-16 11:34 | 101K | |
| signal_f.png | 2017-03-16 11:34 | 45K | |
| singleton.png | 2017-03-16 11:34 | 48K | |
| stT.png | 2017-03-16 11:34 | 46K | |
| stackM.png | 2017-03-16 11:34 | 56K | |
| supermonad.png | 2017-03-16 11:34 | 30K | |
| terminal.png | 2017-03-16 11:34 | 129K | |
| transform.png | 2017-03-16 11:34 | 61K | |
| translateshape.png | 2017-03-16 11:34 | 65K | |
| ts.png | 2017-03-16 11:34 | 112K | |
| ts2.png | 2017-03-16 11:34 | 62K | |
| turtle-spiral.gif | 2017-03-16 11:34 | 2.3K | |
| turtle-tree.gif | 2017-03-16 11:34 | 12K | |
