added append arguments#2

Open

henryw30 wants to merge 5 commits intowinglam:masterfrom

henryw30:n_branch

Commits on Jan 16, 2018

Commits on Jan 21, 2018

added append arguments
winglam
committed

Commits on Feb 5, 2018

Fixed file merges.
ReedOei
committed

Commits on Feb 6, 2018

use reed's merge
winglam
committed