Yesterday, I gave a talk about my work at SPLS Nov '16 at the University of Strathclyde.
In my work I have a data type:
data Session : (ty : Ty) -> (old : Context) -> (new : ty -> Context) -> Type where
and a function that computes an instance of that type with information to popular the value
Session : List Role -> List (Role, Role) -> Type Session rs ps = Model.Session....
Now I could have provided more meaningful names to these different meanings of
Session. However, with semantic highlighting who needs too, right? My work involves the use of Dependent Types as seen in Idris, and we use semantic highlighting to provide developers with richer information about programming constructs. Typically the scheme and practise is often referred to as Conor's Colours, and the default values specified in this scheme are used by Idris.
However, it turns out one of the attendees is colour blind, and as a result they didn't realise that the use of:
on one slide was different to the use of
on another. That was annonying for both myself and the attendee. As a result I searched for a colour blind friendly colour palette and updated my slides and LaTeX style to be more colour blind friendly.
The colours are defined as:
The resulting style file is available online. Together with macroes for use in prose and for semantic code highlighting as seen in Idris.
Note: It turns out The colour palette used is one from a set of palettes described online. In future I might update the style file with more of the palettes.
You can check the slides themselves for an example.