Hacker News new | ask | show | jobs
by mafribe 4022 days ago
Good. Session types are not the only approach to typing interaction, although probably the simplest.