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

git.iko.soy/Idris-dev

readme files commits refs

on 307efbb 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.idrAdd neweffects library13 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