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

git.iko.soy/Idris-dev

readme files commits refs

on 7e78f0a help sign in

Idris-dev/libs/effects/Effect

10 files

../ Default.idrMake 'neweffects' the official effects package13 years ago Exception.idrRename 'effect' to 'call'12 years ago File.idrRename 'effect' to 'call'12 years ago Memory.idrRename 'effect' to 'call'12 years ago Monad.idrMake 'neweffects' the official effects package13 years ago Random.idrRename 'effect' to 'call'12 years ago Select.idrRename 'effect' to 'call'12 years ago State.idrRename 'effect' to 'call'12 years ago StdIO.idrRename 'effect' to 'call'12 years ago System.idrRename 'effect' to 'call'12 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