├── Basics.agda ├── Context.agda ├── Effects.agda ├── Embedding.agda ├── NearSemiring.agda ├── README.md ├── Sessions.agda └── places15 ├── Basics.agda ├── Context.agda ├── Effects.agda ├── Embedding.agda └── Sessions.agda /Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/Basics.agda -------------------------------------------------------------------------------- /Context.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/Context.agda -------------------------------------------------------------------------------- /Effects.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/Effects.agda -------------------------------------------------------------------------------- /Embedding.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/Embedding.agda -------------------------------------------------------------------------------- /NearSemiring.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/NearSemiring.agda -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/README.md -------------------------------------------------------------------------------- /Sessions.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/Sessions.agda -------------------------------------------------------------------------------- /places15/Basics.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/places15/Basics.agda -------------------------------------------------------------------------------- /places15/Context.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/places15/Context.agda -------------------------------------------------------------------------------- /places15/Effects.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/places15/Effects.agda -------------------------------------------------------------------------------- /places15/Embedding.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/places15/Embedding.agda -------------------------------------------------------------------------------- /places15/Sessions.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dorchard/effects-as-sessions/HEAD/places15/Sessions.agda --------------------------------------------------------------------------------