search

Munksgaard / session-types

MIT License
549 stars 21 forks source link

Rename unsafe_read_chan -> read_chan and make it unsafe #18

Closed Munksgaard closed 9 years ago

Munksgaard commented 9 years ago

Same for unsafe_write_chan

This fixes #13