Jon

copy/move file

3

hi, I would like to add a new feature: mark files and move them using `p` for example. I guess we can use `rename` and loop over the selected files?...

Fix typo in ch04-02-realise-a-derivation.md