libs/neweffects/Effect · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

readme files commits refs

on 3c58bbf help sign in

Idris-dev/libs/neweffects/Effect

9 files

../ Default.idrAdd neweffects library13 years ago Exception.idrAdd neweffects library13 years ago File.idrAdd neweffects library13 years ago Memory.idrAdd neweffects library13 years ago Monad.idrAdd neweffects library13 years ago Random.idrAdd neweffects library13 years ago Select.idrAdd neweffects library13 years ago State.idrAdd neweffects library13 years ago StdIO.idrChange 'run' in neweffects to add defaults13 years ago

soft-serve v0.12.3

keysesc to close

j k: move down, up
enter: open
esc: back, or up a level
1 2 3 4: readme, files, commits, refs
/: filter
y: copy the clone command
c: compare the chosen commit with another (or shift-click both)
?: show or hide this list