Code of CSP-Agda for TyDe 2016 Paper (Old Version)