Effective ATS:
Session-typed Channels:
A Brief Introduction

• main.html
• Makefile
• introxmpl1_demo.html
• introxmpl1_prtcl.sats
• introxmpl1_client.dats
• introxmpl1_server.dats