Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
  • Isaac van Bakel's avatar
    8d61039e
    Add style point on branching patterns · 8d61039e
    Isaac van Bakel authored
    This style point came up in the feedback on #923, where a lack of
    explicit branching in a pattern made a proof more confusing.
    
    I've also moved another pattern-based style point into the newly-created
    section just to take advantage of the increased organisation.
    Add style point on branching patterns
    Isaac van Bakel authored
    This style point came up in the feedback on #923, where a lack of
    explicit branching in a pattern made a proof more confusing.
    
    I've also moved another pattern-based style point into the newly-created
    section just to take advantage of the increased organisation.