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

git.iko.soy/Idris-dev

readme files commits refs

on 407cf60 help sign in

Idris-dev/libs/neweffects/Effect

9 files

../ Default.idrAdd neweffects library13 years ago Exception.idrAdd neweffects library13 years ago File.idrChange argument order for 'either'13 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