5//: forall n e. e -> FVect n e -> FVect (S n) e
6exports.fcons = function (hd) {
8 return [hd].concat(tl);
12exports.fappend = function (dict) {
13 return function (left) {
14 return function (right) {
15 return left.concat(right);
20exports.fflatten = function (dict) {
23 for (var indexRef = 0; indexRef < v.length; indexRef += 1) {
24 accRef = accRef.concat(v[indexRef]);
30exports.ftoArray = function (vect) {
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