indent if #33

Open

Open

Labels

opened

on Aug 14, 2017

    cmp s1 s2 = if s1 == s2
    then 0
    else 1

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests