Wrong URL for Edward Kmett's github profile

djspiewak / skolems

A microlibrary for Scala encodings of higher-rank quantifiers

Apache License 2.0

60 stars 8 forks source link

Closed glowe closed 4 years ago

glowe commented 4 years ago

The README links to https://github.com/kmett, but I suspect it should have linked to https://github.com/ekmett.

djspiewak commented 4 years ago

Indeed it should have. Rip. I'm going to push what I have locally in a little bit, which revises the readme a fair bit.