search

Munksgaard / session-types

MIT License
550 stars 21 forks source link

Readme link broken #33

Closed NoraCodes closed 7 years ago

NoraCodes commented 7 years ago

The link in the readme is broken.

laumann commented 7 years ago

So it is, thanks :smile:

Munksgaard commented 7 years ago

Thanks :)

On Feb 16, 2017 20:41, "Thomas Bracht Laumann Jespersen" < notifications@github.com> wrote:

Closed #33 https://github.com/Munksgaard/session-types/issues/33 via e2c3aac https://github.com/Munksgaard/session-types/commit/e2c3aac098788a6bb57083c313fc947dd4190f2e .

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/Munksgaard/session-types/issues/33#event-965586457, or mute the thread https://github.com/notifications/unsubscribe-auth/AAOE1crh8KSY4gDs1_vbDeukkHw764DJks5rdKZhgaJpZM4MDSvl .