search

Munksgaard / session-types

MIT License
549 stars 21 forks source link

Remove dual env #5

Closed laumann closed 9 years ago

laumann commented 9 years ago

This fixes #4

Munksgaard commented 9 years ago

huh, i must've forgot...