search

Munksgaard / session-types

MIT License
549 stars 21 forks source link

Add examples #19

Closed Munksgaard closed 9 years ago

Munksgaard commented 9 years ago

@laumann: Perhaps you want to add the atm example from the article (in case you've already written it down)?

laumann commented 9 years ago

Sure, I'll add it

laumann commented 9 years ago

How about the POP3 examples?

Munksgaard commented 9 years ago

Sure, the more the merrier :-)

Munksgaard commented 9 years ago

I've taken a look at the pop3 example, and I think it needs some work before it's ready to be included. It's not very pretty at the moment. I'll merge this, then we can always add pop3 later.