Backport formatting from Julia course (2022-06-08)
Mainly code highlights, uncluttering and pictures.
@laurent.heirendt is there a place to document the use of .leader
and the emoji for theme users?
Refs to what this looks like:
Mainly code highlights, uncluttering and pictures.
@laurent.heirendt is there a place to document the use of .leader
and the emoji for theme users?
Refs to what this looks like: