git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
6f032cc
help
sign in
Idris-dev
/
libs
/
base
/
Control
2 folders, 5 files
../
Isomorphism/
First renaming attempt
12 years ago
Monad/
Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>')
12 years ago
Arrow.idr
Change 'module Category.Arrow' to 'module Control.Arrow'
13 years ago
Catchable.idr
Change 'module Prelude.Catchable to 'module Control.Catchable'
13 years ago
Category.idr
Library changes: Please read details below!
13 years ago
IOExcept.idr
Remove needless Prelude imports
13 years ago
Isomorphism.idr
Renamed VoidElim to void in order to ensure further consistency
12 years ago
keys
esc 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