3foo : ?foo_arg1 -> ?foo_arg2 -> ?foo_arg3 -> ?foo_ret
4foo (S a) b c = plus (a + b + c) 42
7bar : Vect n a -> Vect m a -> ?bar_out
10myplus : ?plus_in1 -> ?plus_in2 -> ?plus_out
12myplus (S k) y = S (myplus k y)
14vfun : a -> Vect n a -> Vect n a -> Vect ?what a
17ifoo : ?ifoo_arg1 -> IO ?ifoo_out
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