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

git.iko.soy/Idris-dev

readme files commits refs

on ffdb074 help sign in

Idris-dev/libs/neweffects/Effect

10 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 rndFin13 years ago Select.idrAdd neweffects library13 years ago State.idrAdd neweffects library13 years ago StdIO.idrTinker with popen/poll13 years ago System.idrAdd beginnings of System effect13 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