In the exam:
- use
git config --global color.ui auto
- Remember
/opt/agda/agda-stdlib-1.1
(the/opt/agda
path can be derived fromagda-mode locate
) grep --color=always -R "foldr" . | less -r
In the exam:
git config --global color.ui auto
/opt/agda/agda-stdlib-1.1
(the /opt/agda
path can be derived from agda-mode locate
)grep --color=always -R "foldr" . | less -r